Sciweavers

1143 search results - page 71 / 229
» pairing 2007
Sort
View
IJCAI
2003
13 years 11 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
ACL
2000
13 years 11 months ago
Minimally Supervised Morphological Analysis by Multimodal Alignment
This paper presents a corpus-based algorithm capable of inducing inflectional morphological analyses of both regular and highly irregular forms (such as broughtbring) from distrib...
David Yarowsky, Richard Wicentowski
GRAPHICSINTERFACE
1996
13 years 11 months ago
Exploring Human Visualization of Computer Algorithms
Many educators have used Algorithm Visualization (AV) to teach students of computer science about how computer algorithms work. Our study sheds light on two important questions: (...
Sarah A. Douglas, Christopher D. Hundhausen, Donna...
PDPTA
1996
13 years 11 months ago
Stereo Vision and 3D Reconstruction on a Distributed Memory System
An important research topic in image processing is stereo vision. The objective is to compute a 3-dimensional representation of some scenery from two 2-dimensional digital images....
N. H. L. Kuijpers, G. Paar, Johan J. Lukkien
AR
2007
111views more  AR 2007»
13 years 10 months ago
Acquisition of joint attention through natural interaction utilizing motion cues
Joint attention is one of the most important cognitive functions for the emergence of communication not only between humans but also between humans and robots. In the previous wor...
Hidenobu Sumioka, Koh Hosoda, Yuichiro Yoshikawa, ...