Sciweavers

6583 search results - page 231 / 1317
» Semantic Analysis Patterns
Sort
View
123
Voted
SEFM
2005
IEEE
15 years 9 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
115
Voted
ISSTA
2000
ACM
15 years 8 months ago
Classification schemes to aid in the analysis of real-time systems
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
Paul Z. Kolano, Richard A. Kemmerer
150
Voted
ICMCS
2007
IEEE
150views Multimedia» more  ICMCS 2007»
15 years 7 months ago
Multicamera Audio-Visual Analysis of Dance Figures
We present a multi-camera system for audio-visual analysis of dance figures. The multi-view video of a dancing actor is acquired using 8 synchronized cameras. The motion capture t...
Ferda Ofli, Yasemin Demir, Engin Erzin, Yücel...
142
Voted
CRV
2005
IEEE
191views Robotics» more  CRV 2005»
15 years 9 months ago
Automated Behavioral Phenotype Detection and Analysis Using Color-Based Motion Tracking
The problem of elucidating the functional significance of genes is a key challenge of modern science. Solving this problem can lead to fundamental advancements across multiple are...
Alan Shimoide, Ilmi Yoon, Megumi Fuse, Holly C. Be...
159
Voted
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 3 months ago
Understanding periodicity and regularity of nodal encounters in mobile networks: A spectral analysis
Abstract--Study on human mobility is gaining increasing attention from the research community with its multiple applications to use in mobile networks, particularly for the purpose...
Sungwook Moon, Ahmed Helmy