11168 search results - page 1451 / 2234 » Abstract State Processes |
184
click to vote
IAJIT
2010
15 years 5 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...
219
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— The detection of features from Light Detection and Ranging (LIDAR) data is a fundamental component of featurebased mapping and SLAM systems. Existing detectors tend to exploit ...
226
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
215
click to vote
IJIEM
2010
15 years 5 months ago
2010
The use of information technology to manage patient consent is an important emerging area of research in health data management. This paper identifies literature, technological ad...
202
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Dealing with multi-object tracking in a particle filter raises several issues. A first essential point is to model possible interactions between objects. In this article, we repr...