Sciweavers

1269 search results - page 217 / 254
» Learning Correction Grammars
Sort
View
HICSS
2006
IEEE
134views Biometrics» more  HICSS 2006»
15 years 7 months ago
Patterns of Multimodal Input Usage in Non-Visual Information Navigation
Multimodal input is known to be advantageous for graphical user interfaces, but its benefits for non-visual interaction are unknown. To explore this issue, an exploratory study wa...
Xiaoyu Chen, Marilyn Tremaine
UIST
2006
ACM
15 years 7 months ago
Pen-top feedback for paper-based interfaces
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
Chunyuan Liao, François Guimbretière...
CVPR
2008
IEEE
15 years 7 months ago
General Constraints for Batch Multiple-Target Tracking Applied to Large-Scale Videomicroscopy
While there is a large class of Multiple-Target Tracking (MTT) problems for which batch processing is possible and desirable, batch MTT remains relatively unexplored in comparis...
Kevin Smith, Alan Carleton, Vincent Lepetit
AAMAS
2005
Springer
15 years 7 months ago
Towards Time Management Adaptability in Multi-agent Systems
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
Alexander Helleboogh, Tom Holvoet, Danny Weyns, Yo...
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 6 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler