1456 search results - page 57 / 292 » Two Techniques to Improve Finite Model Search |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
? Robust feature matching across different views of the same scene taken by two cameras with wide baseline and arbitrary rotation is still an open problem. Matching based on appear...
AAAI
2008
13 years 10 months ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
SIGMETRICS
2011
ACM
12 years 10 months ago
2011
ACM
Branch taken rate and transition rate have been proposed as metrics to characterize the branch predictability. However, these two metrics may misclassify branches with regular his...
ERCIMDL
2007
Springer
14 years 2 months ago
2007
Springer
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...