535 search results - page 3 / 107 » Selective backtracking of model changes |
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
Distributed Constraint Satisfaction Problems (DCSPs) provide a model to capture a broad range of cooperative multiagent problem solving settings. Researchers have generally propos...
KBSE
2009
IEEE
14 years 14 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
ICDE
2005
IEEE
14 years 7 months ago
2005
IEEE
Large amounts of (often valuable) information are stored in web-accessible text databases. "Metasearchers" provide unified interfaces to query multiple such databases at...
CIDM
2007
IEEE
14 years 2 days ago
2007
IEEE
This paper presents a prototype-driven framework for classifying evolving data streams. Our framework uses cluster prototypes to summarize the data and to determine whether the cur...
ICPR
2008
IEEE
14 years 5 days ago
2008
IEEE
In the paper we propose a novel multi-layer Mixed Markov model for detecting relevant changes in registered aerial images taken with significant time differences. The introduced ...