549 search results - page 83 / 110 » Verification condition generation for conditional informatio... |
97
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
123456 The increasing amount of freely available healthrelated web content generates, on one hand, excellent conditions for self-education of patients as well as physicians, but on...
110
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
129
Voted
NIPS
2008
15 years 1 months ago
2008
Probabilistic topic models have become popular as methods for dimensionality reduction in collections of text documents or images. These models are usually treated as generative m...
121
Voted
LOGCOM
2002
15 years 5 days ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
121
Voted
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper proposes a new method for comparing clusterings both partitionally and geometrically. Our approach is motivated by the following observation: the vast majority of previ...