7988 search results - page 400 / 1598 » A Useful Undecidable Theory |
150
Voted
SIGIR
2006
ACM
16 years 23 days ago
2006
ACM
Information retrieval algorithms leverage various collection statistics to improve performance. Because these statistics are often computed on a relatively small evaluation corpus...
181
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
160
click to vote
ICDT
2005
ACM
16 years 10 days ago
2005
ACM
We study the problem of rewriting queries using views in the presence of access patterns, integrity constraints, disjunction, and negation. We provide asymptotically optimal algori...
160
click to vote
PERVASIVE
2005
Springer
16 years 9 days ago
2005
Springer
The retail store environment is a challenging application area for Pervasive Computing technologies. It has demanding base conditions due to the number and complexity of the interd...
184
click to vote
SAC
2004
ACM
16 years 7 days ago
2004
ACM
XML data can be stored in different databases including ObjectRelational Database (ORDB). Using ORDB, we get the benefit of the relational maturity and the richness of OO modeling...