Sciweavers

2740 search results - page 117 / 548
» Typing the Specialization Interface
Sort
View
231
Voted
AMCS
2011
341views Mathematics» more  AMCS 2011»
14 years 7 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
GRAPHICSINTERFACE
2003
15 years 2 months ago
Learning from Games: HCI Design Innovations in Entertainment Software
Computer games are one of the most successful application domains in the history of interactive systems. This success has come despite the fact that games were ‘separated at bir...
Jeff Dyck, David Pinelle, Barry Brown, Carl Gutwin
85
Voted
ANLP
2000
85views more  ANLP 2000»
15 years 2 months ago
The Efficiency of Multimodal Interaction for a Map-based Task
This paper compares the efficiency of using a standard direct-manipulation graphical user interface (GUI) with that of using the QuickSet pen/voice multimodal interface for suppor...
Philip R. Cohen, David McGee, Josh Clow
IUI
2012
ACM
13 years 8 months ago
Automatic reverse engineering of interactive dynamic web applications to support adaptation across platforms
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
Federico Bellucci, Giuseppe Ghiani, Fabio Patern&o...
ICFP
2001
ACM
16 years 23 days ago
A Simple Implementation Technique for Priority Search Queues
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
Ralf Hinze