684 search results - page 11 / 137 » Techniques for Accelerating a Grammar-Checker |
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— Humans rely on information-laden high-frequency accelerations in addition to quasi-static forces when interacting with objects via a handheld tool. Telerobotic systems have tra...
NORDICHI
2006
ACM
14 years 3 months ago
2006
ACM
A stylus-based text entry technique called Unipad is presented. Unipad combines single-stroke text input with language-based acceleration techniques, including word completion, su...
RT
2004
Springer
14 years 3 months ago
2004
Springer
We present a novel aggressive visibility preprocessing technique for general 3D scenes. Our technique exploits commodity graphics hardware and is faster than most conservative sol...
IJPP
2011
13 years 4 months ago
2011
Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over even multicore CPUs for lattice-oriented applicatio...