3052 search results - page 63 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
MVA
1990
13 years 8 months ago
1990
An autonomous mobile robot must be able to combine uncertain sensory information with prior knowledge of the world. Moreover, these operations have to be performed fast enough for...
WSC
1998
13 years 9 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
NIPS
1998
13 years 9 months ago
1998
Fraud causes substantial losses to telecommunication carriers. Detection systems which automatically detect illegal use of the network can be used to alleviate the problem. Previo...
IJCAI
1989
13 years 8 months ago
1989
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
UIC
2007
Springer
14 years 1 months ago
2007
Springer
As wireless communication advances, research on location-based services using mobile devices has attracted interest, which provides information and services related to user’s phy...