471 search results - page 88 / 95 » Automatic Mutual Exclusion |
158
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...
143
click to vote
ICIAP
2007
ACM
16 years 3 months ago
2007
ACM
Natural scene categorization of images represents a very useful task for automatic image analysis systems in a wide variety of applications. In the literature, several methods hav...
137
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
137
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
138
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...