1961 search results - page 188 / 393 » PicoDBMS: Validation and Experience |
CLEANDB
2006
ACM
15 years 3 months ago
2006
ACM
We consider the Entity Resolution (ER) problem (also known as deduplication, or merge-purge), in which records determined to represent the same real-world entity are successively ...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
ECAI
2006
Springer
2006
Springer
Identifying Inter-Domain Similarities Through Content-Based Analysis of Hierarchical Web-Directories
15 years 3 months ago
Providing accurate personalized information services to the users requires knowing their interests and needs, as defined by their User Models (UMs). Since the quality of the person...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
EVOW
2006
Springer
15 years 3 months ago
2006
Springer
In recent years dynamic optimization problems have attracted a growing interest from the community of genetic algorithms with several approaches developed to address these problems...