2421 search results - page 20 / 485 » Integrity Assurance Technique Using Determinant Approach |
POPL
2010
ACM
14 years 8 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
DRR
2009
13 years 8 months ago
2009
Modern digital libraries offer all the hyperlinking possibilities of the World Wide Web: when a reader finds a citation of interest, in many cases she can now click on a link to b...
AAAI
2008
14 years 1 months ago
2008
This paper investigates hindsight optimization as an approach for leveraging the significant advances in deterministic planning for action selection in probabilistic domains. Hind...
ERCIMDL
2008
Springer
14 years 21 days ago
2008
Springer
Taking the temporal dimension into account in searching, i.e., using time of content creation as part of the search condition, is now gaining increasingly interest. However, in the...
SIGMOD
2012
ACM
12 years 1 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...