774 search results - page 91 / 155 » Experiments with an Agent-Oriented Reasoning System |
266
click to vote
CVPR
2007
IEEE
16 years 7 days ago
2007
IEEE
Fingerprint individuality study deals with the crucial problem of the discriminative power of fingerprints for recognizing people. In this paper, we present a novel fingerprint in...
136
click to vote
LPAR
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
141
click to vote
ICMCS
2006
IEEE
15 years 12 months ago
2006
IEEE
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...
172
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
138
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...