Sciweavers

5608 search results - page 68 / 1122
» On the Theory of Matchgate Computations
Sort
View
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
14 years 8 months ago
Using computer games for hybrid systems controller synthesis
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
A. Agung Julius, Sina Afshari
IJMMS
2000
70views more  IJMMS 2000»
15 years 1 months ago
Computer generation of process explanations in nuclear astrophysics
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
Sakir Kocabas, Pat Langley
PSYCHNOLOGY
2010
116views more  PSYCHNOLOGY 2010»
14 years 12 months ago
Social and Spatial Presence: An Application to Optimize Human-Computer Interaction
This study provides a framework for researchers who study human-computer interaction to develop and evaluate user-centric user-interfaces by applying existing theories about telep...
Karl Horvath, Matthew Lombard
HCI
2009
14 years 11 months ago
Computer-Assisted Lip Reading Recognition for Hearing Impaired
Within the communication process of human beings, the speaker's facial expression and lip-shape movement contains extremely rich language information. The hearing impaired, a...
Yun-Long Lay, Hui-Jen Yang, Chern-Sheng Lin
DSS
2002
231views more  DSS 2002»
15 years 1 months ago
Computational aspects of the FLBC framework
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
Aspassia Daskalopulu, Marek J. Sergot