Sciweavers

1682 search results - page 26 / 337
» A behavior model for persuasive design
Sort
View
ASPDAC
2008
ACM
130views Hardware» more  ASPDAC 2008»
15 years 3 months ago
Architecture-level thermal behavioral characterization for multi-core microprocessors
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
Duo Li, Sheldon X.-D. Tan, Murli Tirumala
ACL
1990
15 years 3 months ago
Designer Definites in Logical Form
In this paper, we represent singular definite noun phrases as functions in logical form. This representation is designed to model the behaviors of both anaphoric and non-anaphoric...
Mary P. Harper
WRAC
2005
Springer
15 years 7 months ago
Autonomy Without Independence: Animal Training as a Model for Robot Design
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
David C. Wyland
131
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
Automatic steering of behavioral model inference
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
David Lo, Leonardo Mariani, Mauro Pezzè
VRST
2009
ACM
15 years 8 months ago
Gaze behavior and visual attention model when turning in virtual environments
In this paper we analyze and try to predict the gaze behavior of users navigating in virtual environments. We focus on first-person navigation in virtual environments which invol...
Sébastien Hillaire, Anatole Lécuyer,...