3169 search results - page 215 / 634 » Robust Timed Automata |
116
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
123
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Wireless sensor networks have been deployed for various critical monitoring applications in hostile environments such as monitoring the concentration levels of hazardous gas sp...
112
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
- In this paper, we train a one-layer Theta Neuron Network (TNN) to perform a Braitenberg obstacle avoidance algorithm on a Khepera robot. The Theta neuron model is more biological...
136
click to vote
DCOSS
2007
Springer
15 years 10 months ago
2007
Springer
With the field of wireless sensor networks rapidly maturing, the focus shifts from “easy” deployments, like remote monitoring, to more difficult domains where applications imp...
119
click to vote
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A fully automated method for quantitative analysis of dynamic contrast-enhanced MRI data acquired with low and high field scanners, using spin echo and gradient echo seq...