1585 search results - page 135 / 317 » A framework for computer-aided validation |
139
click to vote
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
— When a database system is extended with the skyline operator, it is important to determine the most efficient way to execute a skyline query across tables with join operations...
131
Voted
GIS
2009
ACM
15 years 7 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...
190
Voted
CICLING
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
142
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a unified framework for the evaluation of a range of structured document retrieval (SDR) approaches and tasks. The framework is based on a model of tree retrie...
131
Voted
DEXA
2008
Springer
15 years 5 months ago
2008
Springer
When issuing user-specific queries, users often have a vaguely defined information need. Skyline queries identify the most "interesting" objects for users' incomplet...