12981 search results - page 2308 / 2597 » Model Checking (Abstract) |
130
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
As a result of the changing scope of data management towards the management of highly distributed systems and applications, integration processes have gained in imporuch integrati...
252
click to vote
ICIAR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
148
click to vote
IPMI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method ...
207
click to vote
LADS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—We present a new approach to providing soft realtime guarantees for Belief-Desire-Intention (BDI) agents. We define what it means for BDI agents to operate in real time...
177
click to vote
NORDSEC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...