Sciweavers

667 search results - page 44 / 134
» Total parser combinators
Sort
View
LPNMR
2007
Springer
14 years 3 months ago
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
Martin Gebser, Torsten Schaub, Sven Thiele
CHI
2003
ACM
14 years 9 months ago
Metrics for text entry research: an evaluation of MSD and KSPC, and a new unified error metric
We describe and identify shortcomings in two statistics recently introduced to measure accuracy in text entry evaluations: the minimum string distance (MSD) error rate and keystro...
R. William Soukoreff, I. Scott MacKenzie
DAC
2007
ACM
14 years 25 days ago
Skewed Flip-Flop Transformation for Minimizing Leakage in Sequential Circuits
Mixed Vt has been widely used to control leakage without affecting circuit performance. However, current approaches target the combinational circuits even though sequential elemen...
Jun Seomun, Jaehyun Kim, Youngsoo Shin
INFOCOM
2010
IEEE
13 years 7 months ago
Building Scalable Virtual Routers with Trie Braiding
—Many popular algorithms for fast packet forwarding and filtering rely on the tree data structure. Examples are the trie-based IP lookup and packet classification algorithms. W...
Haoyu Song, Murali S. Kodialam, Fang Hao, T. V. La...
HAPTICS
2009
IEEE
14 years 3 months ago
Non-contact tactile sensation synthesized by ultrasound transducers
This paper describes a new tactile device which produces stress fields in 3D space. Combined with mid-air and/or 3D stereoscopic displays, this device provides high-fidelity tacti...
Takayuki Hoshi, Takayuki Iwamoto, Hiroyuki Shinoda