Sciweavers

4287 search results - page 583 / 858
» Minimal Mental Models
Sort
View
156
Voted
FORTE
2003
15 years 7 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
171
Voted
GEOINFO
2003
15 years 7 months ago
Planning Brazilian Urban Traffic with a Geographic Application Software
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
Juliano Lopes de Oliveira, André Constantin...
181
Voted
ICAI
2003
15 years 7 months ago
Decentralized Search by Unmanned Air Vehicles Using Local Communication
: We present a model consisting of an emergent procedure for n unpiloted, autonomous flying munitions to cooperatively conduct a parallel sweeping search of a geographic area for s...
Joseph Schlecht, Karl Altenburg, Benzir Md Ahmed, ...
185
Voted
VMV
2001
248views Visualization» more  VMV 2001»
15 years 7 months ago
Using an Extended Hough Transform Combined with a Kalman Filter to Segment Tubular Structures in 3D Medical Images
We present a new approach for the coarse segmentation of tubular structures in 3D image data. Our algorithm, which requires only few initial values and minimal user interaction, c...
Thorsten Behrens, Karl Rohr, H. Siegfried Stiehl
149
Voted
WSC
2004
15 years 7 months ago
Evaluation of Secure Peer-to-Peer Overlay Routing for Survivable SCADA Systems
Supervisory Control And Data Acquisition (SCADA) systems gather and analyze data for real-time control. SCADA systems are used extensively, in applications such as electrical powe...
Jeffrey J. Farris, David M. Nicol