6047 search results - page 194 / 1210 » Modeling with Extend |
165
click to vote
ESWS
2009
Springer
15 years 26 days ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
104
click to vote
ROBIO
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In this paper we extend a non-smooth 3D mathematical model of a snake robot to also include external obstacles to enable obstacle aided locomotion. The model is based o...
105
click to vote
ICCV
1995
IEEE
15 years 6 months ago
1995
IEEE
A system has been developed to acquire, extend and re ne 3D geometric site models from aerial imagery. This system hypothesize potential building roofs in an image, automatically ...
WSC
1998
15 years 4 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
110
click to vote
HT
1997
ACM
15 years 7 months ago
1997
ACM
This paper provides an architectural framework for modeling third-party application integrations with open hypermedia systems, which collects and extends the integration experienc...