601 search results - page 41 / 121 » Simulation vs. Equivalence |
DSRT
2009
IEEE
14 years 4 months ago
2009
IEEE
—To support the evacuation process of crowds from emergency situations, we have developed a wearable device, LifeBelt, for vibro tactile guidance of individuals in panic towards ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The diffusion of innovations has long been a research domain in IS research. Yet, there is no sound theory nor practice to fully understand the complex mechanisms behind networks ...
ISCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
—Sliding mode control (SMC) has a strong capability of controlling nonlinear systems with uncertainties. However, it requires thorough knowledge of parameters and dynamics of the...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Resolution refinements called w-resolution trees with lemmas (WRTL) and with input lemmas (WRTI) are introduced. Dag-like resolution is equivalent to both WRTL and WRTI when there...