789 search results - page 113 / 158 » On Theory Revision with Queries |
118
Voted
PVLDB
2010
14 years 7 months ago
2010
Probabilistic data is coming as a new deluge along with the technical advances on geographical tracking, multimedia processing, sensor network and RFID. While similarity search is...
108
Voted
CIKM
2011
Springer
14 years 21 days ago
2011
Springer
We present a hybrid method to turn off-the-shelf information retrieval (IR) systems into future event predictors. Given a query, a time series model is trained on the publication...
126
click to vote
CADE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
207
Voted
GAMESEC
2011
14 years 12 days ago
2011
Recent smartphones incorporate embedded GPS devices that enable users to obtain geographic information about their surroundings by providing a location-based service (LBS) with the...
125
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...