675 search results - page 99 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
102
click to vote
PEPM
2009
ACM
15 years 12 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
107
click to vote
ICWS
2008
IEEE
15 years 4 months ago
2008
IEEE
Recently, a new generation of adaptive Process-Aware Information Systems (PAIS) has emerged, which allows for dynamic process and service changes (e.g., to insert, delete, and mov...
160
click to vote
RAS
2006
15 years 3 months ago
2006
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
109
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
1 In multi-site distributed education (MSDE), video streams from multiple sites are available. To best utilize the limited screen space at each site, we develop a customizable, aut...
140
click to vote
IJCAI
2003
15 years 4 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...