Sciweavers

610 search results - page 101 / 122
» Natural development of ubiquitous interfaces
Sort
View
146
Voted
FM
2009
Springer
110views Formal Methods» more  FM 2009»
15 years 8 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
ICMI
2009
Springer
198views Biometrics» more  ICMI 2009»
15 years 8 months ago
Detecting, tracking and interacting with people in a public space
We have built a system that engages naive users in an audiovisual interaction with a computer in an unconstrained public space. We combine audio source localization techniques wit...
Sunsern Cheamanunkul, Evan Ettinger, Matt Jacobsen...
MIG
2009
Springer
15 years 8 months ago
A Semantic Navigation Model for Video Games
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
Leonard van Driel, Rafael Bidarra
MM
2009
ACM
197views Multimedia» more  MM 2009»
15 years 8 months ago
Sirio: an ontology-based web search engine for videos
In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
Thomas M. Alisi, Marco Bertini, Gianpaolo D'Amico,...
WISE
2008
Springer
15 years 8 months ago
A Web-Based Automated System for Industry and Occupation Coding
This paper describes Automated Industry and Occupation Coding System (AIOCS). The main function of the system is to classify natural language responses to survey questionnaires int...
Yuchul Jung, Jihee Yoo, Sung-Hyon Myaeng, Dong-Che...