7335 search results - page 406 / 1467 » Scene Based Reasoning |
134
click to vote
INCDM
2007
Springer
15 years 11 months ago
2007
Springer
Small to medium sized companies require a business control mechanism in order to monitor their modus operandi and analyse whether they are achieving their goals. A tool for the dec...
136
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper summarises our work in textual Case-Based Reasoning within jCOLIBRI. We use Information Extraction techniques to annotate web pages to facilitate semantic retr...
120
click to vote
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
138
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
149
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...