3052 search results - page 54 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
JSS
2010
13 years 2 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
APWEB
2003
Springer
13 years 11 months ago
2003
Springer
People display regularities in almost everything they do. This paper proposes characteristics of an idealized algorithm that would allow an automatic extraction of web user profil ...
ICRA
2000
IEEE
14 years 23 hour ago
2000
IEEE
A differential drive robot is perhaps the simplest type of mobile robot, and the bounded velocity model is perhaps the simplest useful model of the admissible controls. This paper...
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
This work presents the design and experimental verification of an original system architecture aiming at recognizing gestures based solely on the hand trajectory. Self organizing ...