637 search results - page 80 / 128 » Inconsistency-Tolerant Integrity Checking |
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
124
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
150
click to vote
JMM2
2006
15 years 1 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
120
click to vote
MCS
2006
Springer
15 years 1 months ago
2006
Springer
The finite volume method is used as a numerical method for solving the fluid flow equations. This method is appropriate to employ under structured and unstructured meshes. Mixed g...
113
click to vote
CJ
2004
15 years 1 months ago
2004
Digital signatures have been proposed by several researchers as a way of preventing execution of malicious code. In this paper we propose a general architecture for performing the...