1054 search results - page 208 / 211 » Abstract Regular Model Checking |
ECCV
2000
Springer
14 years 10 months ago
2000
Springer
Abstract. This paper presents anovel variational method forimage segmentation that uni es boundary and region-based information sources under the Geodesic Active Region framework. ...
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. The application of Partially Parallel Imaging (PPI) techniques to regular clinical Magnetic Resonance Imaging (MRI) studies has brought about the benefit of significantly...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
EWSN
2004
Springer
14 years 8 months ago
2004
Springer
Abstract. We propose a model for communication in single-hop wireless sensor networks and define and evaluate the performance of a robust, energy balanced protocol for a powerful a...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...