4752 search results - page 886 / 951 » From computation models to models of provenance: the RWS app... |
110
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
134
click to vote
MICCAI
1998
Springer
15 years 5 months ago
1998
Springer
Over the last five years, new "voxel-based" approaches have allowed important progress in multimodal image registration, notably due to the increasing use of information-...
133
click to vote
NGC
2000
Springer
15 years 5 months ago
2000
Springer
The use of proxies for local error recovery and congestion control is a scalable technique used to overcome a number of wellknown problems in Reliable Multicast (RM). The idea is ...
140
click to vote
GIS
1995
ACM
15 years 5 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
101
click to vote
AAAI
2007
15 years 3 months ago
2007
We propose a real-time computer vision system that enables a UGV to safely cross urban road-intersections. Specifically, when the UGV approaches the stop sign at a 4-way intersec...