Sciweavers

12 search results - page 2 / 3
» How to build better models: Applying agile techniques to sim...
Sort
View
SEFM
2005
IEEE
13 years 10 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
ENGL
2007
93views more  ENGL 2007»
13 years 5 months ago
Forward Kinematics for Virtual Agents
—Realistic motion and natural-looking simulations require a thorough understanding of human movement control strategies. This work presents an initial developed on virtual agents...
Antonio Benitez, Guillermo de los Santos, Daniel V...
MSWIM
2003
ACM
13 years 10 months ago
Flooding strategy for target discovery in wireless networks
In this paper, we address a fundamental problem concerning the best flooding strategy to minimize cost and latency for target discovery in wireless networks. Should we flood the ...
Zhao Cheng, Wendi Beth Heinzelman
CODES
2006
IEEE
13 years 11 months ago
Creation and utilization of a virtual platform for embedded software optimization: : an industrial case study
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
Sungpack Hong, Sungjoo Yoo, Sheayun Lee, Sangwoo L...
AAAI
2006
13 years 6 months ago
Predicting Task-Specific Webpages for Revisiting
With the increased use of the web has come a corresponding increase in information overload that users face when trying to locate specific webpages, especially as a majority of vi...
Arwen Twinkle Lettkeman, Simone Stumpf, Jed Irvine...