Sciweavers

1912 search results - page 74 / 383
» GOAL as a Planning Formalism
Sort
View
ODR
2008
15 years 7 months ago
A Description of Legal Interpretations in Risk Management with the Use of Ontology Alignment Formalisms
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
Piotr Stolarski, Tadeusz Tomaszewski, John Zelezni...
IAT
2008
IEEE
16 years 19 days ago
Multiagent Technology Solutions for Planning in Ambient Intelligence
In presence of reconfigurable environments, such as AmI systems, the orchestration and coordination of more devices involved in the execution of services requested by users is of...
Nicola Gatti, Francesco Amigoni, Marco Rolando
CE
2004
88views more  CE 2004»
15 years 6 months ago
Beyond formal learning: Informal community eLearning
The goal of the study described in this paper was to gain an improved understanding of the social context of UK online centres and issues around the creation and exchange of knowl...
John Cook, Matt Smith
SFM
2004
Springer
117views Formal Methods» more  SFM 2004»
15 years 11 months ago
A Tutorial on Uppaal
This is a tutorial paper on the tool Uppaal. Its goal is to
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
IROS
2006
IEEE
131views Robotics» more  IROS 2006»
16 years 6 days ago
Support Vector Path Planning
— This paper describes a unique approach of applying a pattern classification technique to robot path planning. A collision-free path connecting a start and a goal point provide...
Jun Miura