15614 search results - page 84 / 3123 » The State of State |
ICCD
2005
IEEE
14 years 8 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
ICRA
1999
IEEE
14 years 3 months ago
1999
IEEE
Current manufacturing methods for robotic-controlled assembly rely on accurate positioning to ensure task completion, often through the use of special xtures and precise calibrati...
PRIMA
2009
Springer
14 years 5 months ago
2009
Springer
In recent years, the topic of emotion reading has increasingly received attention from researchers in Cognitive Science and Artificial Intelligence. To study this phenomenon, in th...
TSP
2010
13 years 5 months ago
2010
We study state estimation via wireless sensors over fading channels. Packet loss probabilities depend upon time-varying channel gains, packet lengths and transmission power levels ...
ASE
2006
13 years 11 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...