2196 search results - page 83 / 440 » Practical Reasoning Using Values |
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
A methodfor upgrading a projective reconstruction to metric is presented. The reconstruction is first transformed by considering cheirality so that the convex hull of the set of c...
CSL
2000
Springer
14 years 11 months ago
2000
Springer
We report work on the first component of a two stage speech recognition architecture based on phonological features rather than phones. The paper reports experiments on three phon...
ITNG
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
183
Voted
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...