4346 search results - page 793 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
149
click to vote
JLP
2006
15 years 3 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
140
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
: Grid is an infrastructure that involves the integrated and collaborative use of computers, networks, databases and scientific instruments owned and managed by multiple organizati...
124
click to vote
GRAPHICSINTERFACE
2009
15 years 1 months ago
2009
We present a simple and efficient method for reconstructing triangulated surfaces from massive oriented point sample datasets. The method combines streaming and parallelization, m...
126
click to vote
ICRA
1999
IEEE
15 years 7 months ago
1999
IEEE
The mobile robot localization problem is decomposed into two stages attitude estimation followed by position estimation. The innovation of our method is the use of a smoother, in ...
142
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Incorporating probabilities into the semantics of incomplete databases has posed many challenges, forcing systems to sacrifice modeling power, scalability, or treatment of relatio...