601 search results - page 21 / 121 » Simulation vs. Equivalence |
CSCW
2012
ACM
12 years 5 months ago
2012
ACM
We describe a social visualization system that monitors the vocal arousal levels of the participants in a simulated twoparty employment negotiation. In a 3x2 factorial experiment ...
TVLSI
2008
13 years 9 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
HAPTICS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the biomechanical experimental validation of simulating side slope during walking on a treadmill style locomotion interface. The side slope effect is achieved...
VLSID
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper we explore the use of a set of novel design metrics for characterizing the impact of gate oxide tunneling current in nanometer CMOS devices and perform Monte Carlo s...