3456 search results - page 194 / 692 » Algorithms for Interface Synthesis |
IV
2007
IEEE
15 years 6 months ago
2007
IEEE
CrystalDome is an inexpensive alternative to a volumetric display based on video projector technology that supports omni-directional viewing (Figure 1). It can show mapped spheric...
86
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
EICS
2010
ACM
15 years 4 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
120
Voted
IFIP12
2007
15 years 1 months ago
2007
In this paper an efficient architecture for natural language processing is presented, implemented in hardware using FPGAs (Field Programmable Gate Arrays). The system can receive s...
103
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...