747 search results - page 95 / 150 » An Alternative Representation for QBF |
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
144
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
The Voronoi diagram is an important technique for answering nearest-neighbor queries for spatial databases. In this paper, we study how the Voronoi diagram can be used on uncertain...
102
click to vote
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
DCC
2006
IEEE
15 years 11 months ago
2006
IEEE
The use of compression algorithms in machine learning tasks such as clustering and classification has appeared in a variety of fields, sometimes with the promise of reducing probl...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...