9067 search results - page 1542 / 1814 » Adaptive Model Checking |
232
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present an algorithm designed for navigating around a performance that was filmed as a “casual” multi-view video collection: real-world footage captured on hand held camer...
276
click to vote
ICAPR
2001
Springer
15 years 11 months ago
2001
Springer
The sipping of ink through the pages of certain double-sided handwritten documents after long periods of storage poses a serious problem to human readers or OCR systems. This pape...
185
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
One of the most rapidly evolving e-services is e-Learning, that is, the creation of advanced educational resources that are accessible on-line and, potentially, offer numerous adva...
197
click to vote
BMAS
2000
IEEE
15 years 11 months ago
2000
IEEE
Analog simulators typically use a dynamic, adaptive time step control strategy in order to minimize the calculations performed during inactive portions of a system’s operation, ...
156
click to vote
ASSETS
2000
ACM
15 years 11 months ago
2000
ACM
Abstract—Head controls provide an alternative means of computer access. This study determined whether neck movement limitations are associated with reduced performance with such ...