Sciweavers

1165 search results - page 198 / 233
» Databases and Natural Language Interfaces
Sort
View
FM
2009
Springer
110views Formal Methods» more  FM 2009»
14 years 4 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...
MM
2009
ACM
197views Multimedia» more  MM 2009»
14 years 4 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,...
SEMCO
2008
IEEE
14 years 4 months ago
Optimal Consensus Intuitive Hand Gesture Vocabulary Design
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
Helman I. Stern, Juan P. Wachs, Yael Edan
TASE
2008
IEEE
14 years 4 months ago
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
Corinna Spermann, Michael Leuschel
WISE
2008
Springer
14 years 4 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...