Sciweavers

1242 search results - page 134 / 249
» The Theory of Grammar Constraints
Sort
View
CVBIA
2005
Springer
15 years 6 months ago
Segmenting Cardiopulmonary Images Using Manifold Learning with Level Sets
Cardiopulmonary imaging is a key tool in modern diagnostic and interventional medicine. Automated analysis of MRI or ultrasound video is complicated by limitations on the image qua...
Qilong Zhang, Robert Pless
99
Voted
KR
2004
Springer
15 years 6 months ago
Discovering State Invariants
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
Fangzhen Lin
87
Voted
COMPGEOM
2003
ACM
15 years 6 months ago
Planar minimally rigid graphs and pseudo-triangulations
Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than π). In this paper we prove that the ...
Ruth Haas, David Orden, Günter Rote, Francisc...
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 4 months ago
Air traffic management with target windows: An approach using reachability
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...
Kostas Margellos, John Lygeros
82
Voted
AAAI
1998
15 years 2 months ago
A* with Bounded Costs
A key assumption of all problem-solving approaches based on utility theory, including heuristic search, is that we can assign a utility or cost to each state. This in turn require...
Brian Logan, Natasha Alechina