2697 search results - page 206 / 540 » Developing Gestural Input |
173
click to vote
ISCAS
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— Time encoding is a mechanism for representing the information contained in a continuous time, bandlimited, analog signal as the zero-crossings of a binary signal. Time ...
153
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
140
click to vote
ICESS
2005
Springer
16 years 5 hour ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
159
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
180
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...