575 search results - page 102 / 115 » Model Checking Restricted Sets of Timed Paths |
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
This paper presents GeoS, a new algorithm for the efficient segmentation of n-dimensional image and video data. The segmentation problem is cast as approximate energy minimization ...
ICSOC
2004
Springer
14 years 23 days ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper deals with the use of parallel processing for multi-objective optimization in applications in which the objective functions, the restrictions, and hence also the soluti...
COMPGEOM
2004
ACM
14 years 25 days ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
ICDE
2007
IEEE
14 years 8 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....