818 search results - page 161 / 164 » Mobile Robot Localization based on a Polynomial Approach |
FOSSACS
2005
Springer
14 years 28 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
SIES
2007
IEEE
14 years 1 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
ISPAN
2005
IEEE
14 years 29 days ago
2005
IEEE
We present QoS Geometric Broadcast Protocol (QoSGBP), a novel broadcasting protocol for heterogeneous wireless ad hoc and sensor networks. While broadcasting is a very energy-expe...
ISRR
2001
Springer
13 years 12 months ago
2001
Springer
This paper presents our experience towards the conception of a virtual reality medical simulator coupled with haptic interaction aimed at training surgeons. This area of research h...
DBPL
1999
Springer
13 years 11 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...