1039 search results - page 145 / 208 » Query reformulation with constraints |
152
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
214
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Today's enterprise databases are large and complex, often relating hundreds of entities. Enabling ordinary users to query such databases and derive value from them has been o...
164
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
More and more applications rely heavily on large amounts of data in the distributed storages collected over time or produced by large scale scientific experiments or simulations. ...
162
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Trajectory search has long been an attractive and challenging topic which blooms various interesting applications in spatial-temporal databases. In this work, we study a new probl...
159
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...