2139 search results - page 297 / 428 » Connecting language to the world |
INTERACT
2003
15 years 11 days ago
2003
: Proactive computing reinforces the need for non-command interfaces that fulfill the user’s intentions without explicit commands. Eye gaze is a natural modality to be used in th...
VDB
1998
15 years 11 days ago
1998
Any graphical user interface (GUI) requires large amounts of complex metadata for the layout of windows and menus, their style and behavior, their bindings, etc. Designing, debugg...
WEBNET
2000
15 years 10 days ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
CADE
2010
Springer
15 years 4 days ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
ENTCS
2008
14 years 11 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...