Sciweavers

1091 search results - page 65 / 219
» The State of Cognitive Systems Engineering
Sort
View
HCI
2011
12 years 11 months ago
Modeling Pharmacokinetics and Pharmacodynamics on a Mobile Device to Help Caffeine Users
We introduce a mobile device application that displays key information about caffeine: the pharmacokinetics (time course of drug levels) and pharmacodynamics (the effects of caffei...
Frank E. Ritter, Kuo-Chuan (Martin) Yeh
AMAST
2004
Springer
13 years 11 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith
IVA
2007
Springer
14 years 1 months 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...
EDM
2010
153views Data Mining» more  EDM 2010»
13 years 9 months ago
An Analysis of the Differences in the Frequency of Students' Disengagement in Urban, Rural, and Suburban High Schools
We study how student behaviors associated with disengagement differ between different school settings. Towards this, we investigate the variation in the frequency of off-task behav...
Ryan Shaun Joazeiro de Baker, Sujith M. Gowda
ICSE
2010
IEEE-ACM
13 years 11 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis