Sciweavers

1990 search results - page 41 / 398
» Integrated Human Behavior Modeling
Sort
View
TII
2008
98views more  TII 2008»
15 years 2 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
134
Voted
ICAC
2008
IEEE
15 years 9 months ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...
135
Voted
HCI
2009
15 years 9 days ago
A Visualization Approach for Group Behaviors, Beliefs and Intentions to Support Critical Decisions
During persistent surveillance of a given population in a conflict situation, data management can quickly become unwieldy due to the inundation of low-level information from many, ...
Colleen L. Phillips, Norman D. Geddes, Justin T. S...
AAAI
2007
15 years 4 months ago
The More the Merrier: Multi-Party Negotiation with Virtual Humans
The goal of the Virtual Humans Project at the University of Southern California’s Institute for Creative Technologies is to enrich virtual training environments with virtual hum...
Patrick G. Kenny, Arno Hartholt, Jonathan Gratch, ...
145
Voted
ICMI
2010
Springer
152views Biometrics» more  ICMI 2010»
15 years 14 days ago
Vlogcast yourself: nonverbal behavior and attention in social media
We introduce vlogs as a type of rich human interaction which is multimodal in nature and suitable for new largescale behavioral data analysis. The automatic analysis of vlogs is u...
Joan-Isaac Biel, Daniel Gatica-Perez