1211 search results - page 145 / 243 » Computing Manipulations of Ranking Systems |
CAV
2006
Springer
14 years 1 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...
CDVE
2006
Springer
14 years 1 months ago
2006
Springer
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
EVOW
2004
Springer
14 years 1 months ago
2004
Springer
A novel approach for sensor planning, which incorporates multi-objective optimization principals into the autonomous design of sensing strategies, is presented. The study addresses...
APVIS
2004
13 years 11 months ago
2004
The topic of skeletal animation and its associated techniques have previously been applied in the area of animating computer-generated characters for motion pictures and computer ...
CHI
1999
ACM
14 years 2 months ago
1999
ACM
The Palette is a digital appliance designed for intuitive control of electronic slide shows. Current interfaces demand too much of our attention to permit effective computer use i...