2410 search results - page 169 / 482 » Multiset Ordering Constraints |
191
click to vote
ICB
2009
Springer
16 years 27 days ago
2009
Springer
In this paper, a Bayesian method for face recognition is proposed based on Markov Random Fields (MRF) modeling. Constraints on image features as well as contextual relationships be...
171
click to vote
SCAM
2008
IEEE
16 years 22 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
140
click to vote
CP
2007
Springer
16 years 15 days ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
185
click to vote
MIDDLEWARE
2007
Springer
16 years 14 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
151
click to vote
OTM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...