Sciweavers

1920 search results - page 144 / 384
» The Complexity of the A B C Problem
Sort
View
IWPC
2000
IEEE
15 years 11 months ago
Architectural Repair of Open Source Software
As a software system evolves, its architecture will drift. System changes are often done without considering their effects on the system structure. These changes often introduce s...
John B. Tran, Michael W. Godfrey, Eric H. S. Lee, ...
CL
2000
Springer
15 years 11 months ago
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kife...
SIBGRAPI
1999
IEEE
15 years 10 months ago
Curvature Operators in Geometric Image Processing
Abstract. In this work we study the problem of reconstructing an image from a perceptual segmentation based on a geometric classification of its points using non-linear curvature f...
Cicero Mota, Jonas Gomes
RTAS
1996
IEEE
15 years 10 months ago
Supporting the specification and analysis of timing constraints
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
Lo Ko, Christopher A. Healy, Emily Ratliff, Robert...
ICRA
1993
IEEE
152views Robotics» more  ICRA 1993»
15 years 10 months ago
The USC Autonomous Flying Vehicle: An Experiment in Real Time Behavior-Based Control
A control system architecture is described for an autonomous flying vehicle. The vehicle, equipped with fourteen sensors, uses a model helicopter as an airframe. The control syste...
M. Anthony Lewis, Andrew H. Fagg, George A. Bekey