3456 search results - page 389 / 692 » Algorithms for Interface Synthesis |
245
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
149
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Music is a rich communication medium, and there are some similarities between the job of a music composer and that of an HCI designer (although their objectives may be different)....
161
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents a technique for visualizing large spatial data sets in Web Mapping Systems (WMS). The technique creates a hierarchical clustering tree, which is subsequently u...
152
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
186
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
Since humans usually prefer to communicate in qualitative and not in quantitative categories, qualitative spatial representations are of great importance interfaces of systems that...