6047 search results - page 112 / 1210 » Modeling with Extend |
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper focuses on relationships between agent models and their physical realisations. Approaches on reduction from philosophical literature are analysed in a formalised manner...
WWW
2001
ACM
16 years 2 months ago
2001
ACM
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
94
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
We propose a systematic modelling of the nonholonomic mobile manipulators built from a robotic arm mounted on a wheeled mobile platform. It extends the fundamental notions of nonh...
137
click to vote
ILP
2001
Springer
15 years 6 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...