471 search results - page 62 / 95 » Automatic Mutual Exclusion |
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
121
click to vote
PODS
2010
ACM
15 years 6 months ago
2010
ACM
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...
AI
2005
Springer
15 years 1 months ago
2005
Springer
The use of software agents for automatic contract negotiation in e-commerce and e-trading ents has been the subject of considerable recent interest. A widely studied abstract mode...
108
click to vote
DRR
2008
15 years 2 months ago
2008
We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
106
click to vote
IBPRIA
2007
Springer
15 years 7 months ago
2007
Springer
This paper outlines a neural network model based on the Fuzzy Cognitive Maps (FCM) framework for solving the automatic image change detection problem. Each pixel in the reference i...