Sciweavers

1682 search results - page 73 / 337
» A behavior model for persuasive design
Sort
View
NIPS
2008
15 years 7 months ago
Psychiatry: Insights into depression through normative decision-making models
Decision making lies at the very heart of many psychiatric diseases. It is also a central theoretical concern in a wide variety of fields and has undergone detailed, in-depth, ana...
Quentin J. M. Huys, Joshua T. Vogelstein, Peter Da...
ISVLSI
2007
IEEE
131views VLSI» more  ISVLSI 2007»
16 years 14 days ago
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
Ulrich Kühne, Daniel Große, Rolf Drechs...
KBS
2007
103views more  KBS 2007»
15 years 6 months ago
Eye-tracking for user modeling in exploratory learning environments: An empirical evaluation
In this paper, we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during interaction with an environment for exploration-based ...
Cristina Conati, Christina Merten
IVA
2007
Springer
16 years 9 days ago
The Rickel Gaze Model: A Window on the Mind of a Virtual Human
Gaze plays a large number of cognitive, communicative and affective roles in face-to-face human interaction. To build a believable virtual human, it is imperative to construct a ga...
Jina Lee, Stacy Marsella, David R. Traum, Jonathan...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 8 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss