Sciweavers

7080 search results - page 757 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
201
Voted
CHI
2006
ACM
16 years 7 months ago
Robot-human interaction with an anthropomorphic percussionist
The paper presents our approach for human-machine interaction with an anthropomorphic mechanical percussionist that can listen to live players, analyze perceptual musical aspects ...
Gil Weinberg, Scott Driscoll
ECIS
2003
15 years 8 months ago
Evaluating the effectiveness of learning interventions: an information systems case study
Currently, there is no standard instrument for evaluating learning effectiveness. While final examinations and end-of-semester course evaluation surveys can be used to do this, th...
Daniel L. Moody, Guttorm Sindre
JCP
2008
116views more  JCP 2008»
15 years 7 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...
AAMAS
2007
Springer
15 years 7 months ago
Conversational semantics sustained by commitments
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
EJASMP
2010
108views more  EJASMP 2010»
15 years 2 months ago
Physically Motivated Environmental Sound Synthesis for Virtual Worlds
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...
Dylan Menzies