3256 search results - page 522 / 652 » Applications of Formal Methods to System Design and Verifica... |
146
click to vote
USENIX
2003
15 years 6 months ago
2003
Gesture recognition is a common method of text input on handheld and other pen-based computing devices. Xstroke is a full-screen gesture recognition program for the X Window Syste...
130
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
This work presents a novel dynamic bias control technique to verify the circuit performance of the lowpower rail-to-rail input/output buffer amplifier, which can be operating in s...
171
Voted
ER
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...
186
Voted
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...
163
click to vote
IJCAI
2007
15 years 7 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...