2585 search results - page 222 / 517 » computing 1999 |
118
Voted
ISAAC
1999
Springer
15 years 8 months ago
1999
Springer
This paper considers recon gurations of polygons, where each polygon edge is a rigid link, no two of which can cross during the motion. We prove that one can recon gure any monoton...
152
click to vote
LPNMR
1999
Springer
15 years 8 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
133
click to vote
SSD
1999
Springer
15 years 8 months ago
1999
Springer
Traffic telematics comprises services like traffic information, navigation, and emergency call services. Providers of such services need large spatial databases especially for the ...
113
click to vote
TACAS
1999
Springer
15 years 8 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
151
click to vote
VISUAL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Methods for processing of pictorial queries speci ed by pictorial query trees are presented. Leaves of a pictorial query tree correspond to individual pictorial queries w...