publié le: July 2006
The technology underlying text search engines has advanced dramatically in the past decade. The development of a family of new index representations...
publié le: September 2006
Laboratory-based courses play a critical role in scientific education. Automation is changing the nature of these laboratories, and there is a long-r...
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...
