Sciweavers

5544 search results - page 8 / 1109
» Three Inadequate Models
Sort
View
IWFM
2000
107views Formal Methods» more  IWFM 2000»
13 years 8 months ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
A. J. Currie
IROS
2006
IEEE
118views Robotics» more  IROS 2006»
14 years 1 months ago
Three-Layer Model for Generation and Recognition of Attention-Drawing Behavior
- This paper presents a three-layer model for generation and recognition of attention-drawing behavior. The model enables a robot to recognize people’s attention-drawing behavior...
Osamu Sugiyama, Takayuki Kanda, Michita Imai, Hiro...
ICC
2009
IEEE
121views Communications» more  ICC 2009»
13 years 5 months ago
Three Layered Hidden Markov Models for Binary Digital Wireless Channels
Abstract--Generative models are created to be used in the design and performance assessment of high layer wireless communication protocols and some error control strategies. Genera...
Omar S. Salih, Cheng-Xiang Wang, David I. Laurenso...
3DPVT
2002
IEEE
199views Visualization» more  3DPVT 2002»
14 years 14 days ago
Reconstruction of Three Dimensional Models from Real Images
An image based model reconstruction system is described. Real images of a rigid object acquired under a simple but controlled environment are used to recover the three dimensional...
Ulas Yilmaz, Adem Yasar Mülayim, Volkan Atala...
NN
2002
Springer
13 years 7 months ago
Three creatures named 'forward model'
It has recently been suggested that the nervous system employs forward models for the purpose of motor control. The evidence for this hypothetical computational structure comes fr...
Amir Karniel