1079 search results - page 147 / 216 » Mereology of Visual Form |
CHI
1999
ACM
14 years 1 months ago
1999
ACM
Although current online chat environments provide new opportunities for communication, they are quite constrained in their ability to convey many important pieces of social inform...
AGTIVE
1999
Springer
14 years 1 months ago
1999
Springer
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming l...
TIME
1998
IEEE
14 years 1 months ago
1998
IEEE
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...
BSN
2006
IEEE
14 years 28 days ago
2006
IEEE
The eWatch is a wearable sensing, notification, and computing platform built into a wrist watch form factor making it highly available, instantly viewable, ideally located for sen...
FMCAD
2000
Springer
14 years 24 days ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...