1312 search results - page 241 / 263 » Quantitative Comparison of Languages |
CORR
2000
Springer
13 years 9 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
JASIS
2000
13 years 9 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
JBI
2010
13 years 8 months ago
2010
Healthcare processes can be characterized as weakly-connected interacting lightweight workflows coping with different levels of granularity. Classical workflow notations are fal...
ML
2010
ACM
13 years 8 months ago
2010
ACM
Image annotation datasets are becoming larger and larger, with tens of millions of images and tens of thousands of possible annotations. We propose a strongly performing method tha...
SCP
2010
13 years 8 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...