Sciweavers

2362 search results - page 396 / 473
» A new approach to edge detection
Sort
View
EH
2002
IEEE
81views Hardware» more  EH 2002»
15 years 6 months ago
Self-Assembling Circuits with Autonomous Fault Handling
This paper reports on the results of our recent NASA SBIR contract, “Autonomous Self-Repairing Circuits,” in which we developed a novel approach to fault-tolerant circuit synt...
Nicholas J. Macias, Lisa J. K. Durbeck
IWSAS
2001
Springer
15 years 5 months ago
Adaptive Agent Based System for State Estimation Using Dynamic Multidimensional Information Sources
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
Alvaro Soto, Pradeep K. Khosla
CONCUR
2000
Springer
15 years 5 months ago
LP Deadlock Checking Using Partial Order Dependencies
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
Victor Khomenko, Maciej Koutny
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 5 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
SIBGRAPI
1999
IEEE
15 years 5 months ago
Real-Time Shadow Generation Using BSP Trees and Stencil Buffers
This paper describes a real-time shadow generation algorithm for polygonal environments illuminated by movable point light sources. The main goal is to quickly reduce the number o...
Harlen Costa Batagelo, Ilaim Costa Júnior