Sciweavers

2933 search results - page 352 / 587
» Agent-Grid Integration Language
Sort
View
125
Voted
FLAIRS
2001
15 years 5 months ago
An Intelligent Interface for Keyboard and Mouse Control -- Providing Full Access to PC Functionality via Speech
SUITEKeys is a speech user interface for motor-disabled computer users. This interface provides access to all available functionality of a computer by modeling interaction at the ...
Bill Z. Manaris, Renée A. McCauley, Valanne...
123
Voted
IJIT
2004
15 years 5 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
166
Voted
SEBD
2003
159views Database» more  SEBD 2003»
15 years 5 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
143
Voted
WSC
2000
15 years 5 months ago
Teaching system modeling, simulation and validation
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
Jörg Desel
ESWA
2008
113views more  ESWA 2008»
15 years 3 months ago
A weighted string pattern matching-based passage ranking algorithm for video question answering
Video question answering aims to pinpoint answers in response to user's specified questions. However, most question answering technologies involve in integrating rich specifi...
Yu-Chieh Wu, Jie-Chi Yang, Yue-Shi Lee