نشرت في: September 2006
Temporal logic model checking involves checking the state-space of a model of a system to determine whether errors can occur in the system. Often thi...
Interestingness measures play an important role in data mining, regardless of the kind of patterns being mined. These measures are intended for selec...
Most commercial database systems do (or should) exploit many sorting techniques that are publicly known, but not readily available in the research li...
نشرت في: December 2006
The construction of natural language interfaces to computers continues to be a major challenge. The need for such interfaces is growing now that spee...
Propositional Satisfiability (SAT) and Constraint Programming (CP) have developed as two relatively independent threads of research cross-fertilizing...
