5015 search results - page 781 / 1003 » Model Checking a Path |
161
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
149
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
Traditional security systems are not easily scalable and can become single points of failure or performance bottlenecks when used on a large-scale distributed system such as the I...
215
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
172
Voted
ER
2001
Springer
15 years 11 months ago
2001
Springer
: Workflow technology is currently being deployed in quite diverse domains. However, the element of change is present in some degree and form in almost all domains. A workflow impl...
160
Voted
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a novel method of achieving load balancing in telecommunications networks. A simulated network models a typical distribution of calls between arbitrary nodes;...