Sciweavers

837 search results - page 111 / 168
» A Compositional Approach on Modal Specifications for Timed S...
Sort
View
CHI
2007
ACM
14 years 8 months ago
Consistency, multiple monitors, and multiple windows
We present an evaluation of mudibo, a prototype system for determining the position of dialog boxes in a multiplemonitor system. The analysis shows that, when compared to a standa...
Dugald Ralph Hutchings, John T. Stasko
ICSM
1996
IEEE
13 years 12 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
HASE
1999
IEEE
14 years 1 days ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
DAGM
2003
Springer
14 years 29 days ago
A Computational Model of Early Auditory-Visual Integration
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
Carsten Schauer, Horst-Michael Gross
FGR
2004
IEEE
216views Biometrics» more  FGR 2004»
13 years 11 months ago
Multimodal Coordination of Facial Action, Head Rotation, and Eye Motion during Spontaneous Smiles
Both the configuration of facial features and the timing of facial actions are important to emotion and communication. Previous literature has focused on the former. We developed ...
Jeffrey F. Cohn, Lawrence Ian Reed, Tsuyoshi Moriy...