4245 search results - page 520 / 849 » Input Modeling |
173
click to vote
ISSAC
2001
Springer
15 years 11 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
199
click to vote
PPL
2008
15 years 6 months ago
2008
This paper presents the FPGA implementation of the prototype for the Data-Driven Chip-Multiprocessor (D2-CMP). In particular, we study the implementation of a Thread Synchronizati...
216
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
170
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We formalize the associative bandit problem framework introduced by Kaelbling as a learning-theory problem. The learning environment is modeled as a k-armed bandit where arm payof...
194
click to vote
HAPTICS
2005
IEEE
16 years 9 days ago
2005
IEEE
The manual step in semi-automatic segmentation of medical volume images typically involves initialization procedures such as placement of seed-points or positioning of surface mod...