1501 search results - page 65 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
151
Voted
MOC
2011
14 years 10 months ago
2011
We propose and analyze a finite element method for a semi– stationary Stokes system modeling compressible fluid flow subject to a Navier– slip boundary condition. The veloci...
146
Voted
RAS
2010
15 years 2 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
124
Voted
IJIPT
2006
15 years 3 months ago
2006
: Service-Oriented Architectures (SOA) are a promising means to integrate heterogeneous systems, but virtually no technology -neutral approach to holistically understand SOAs exist...
142
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Classic registration methods for model-based tracking try to align the projected edges of a 3D model with the edges of the image. However, wrong matches at low level can make t...
133
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...