759 search results - page 60 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
PVLDB
2010
14 years 8 months ago
2010
Entity resolution (ER) identifies database records that refer to the same real world entity. In practice, ER is not a one-time process, but is constantly improved as the data, sc...
ICCSA
2007
Springer
15 years 3 months ago
2007
Springer
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
165
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
- The embedding of positioning capabilities in mobile devices and the emergence of location-based applications have created novel opportunities for utilizing several types of multi...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
Many conceptual modeling and system design methodologies provide tools to help system designers to model the real world. No guidelines exist, however, for determining the relation...