137 search results - page 14 / 28 » A Hybrid Framework for Over-Constrained Generalized |
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Recently, the problem of efficiently supporting advanced query operators, such as nearest neighbor or range queries, over multidimensional data in widely distributed environments...
MICCAI
1999
Springer
13 years 11 months ago
1999
Springer
We present algorithms for the automatic delineation of lung fields in chest radiographs. We first develop a rule-based scheme that detects lung contours using a general framework...
AIPS
2006
13 years 9 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
KI
2001
Springer
13 years 12 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...