173 search results - page 27 / 35 » The effects of walking and control method on pressure-based ... |
ASM
2010
ASM
13 years 12 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
In evaluations of text entry methods, participants enter phrases of text using a technique of interest while performance data are collected. This paper describes and publishes (vi...
VIS
2007
IEEE
2007
IEEE
Modeling Perceptual Dominance Among Visual Cues in Multilayered Icon-based Scientific Visualizations
14 years 10 months ago
ization method is an abstract function that transforms a scientific dataset into a visual representation to facilitate data exploration. In turn, a visualization display is the vis...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
Intrusion Detection System (IDS) is an important security enforcement tool in modern networked information systems. Obtaining an optimal IDS configuration for effective detection o...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synt...