Sciweavers

1856 search results - page 237 / 372
» Formal Dialectic Specification
Sort
View
ACRI
2006
Springer
15 years 10 months ago
Modeling Robot Path Planning with CD++
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
Gabriel A. Wainer
130
Voted
AIED
2005
Springer
15 years 10 months ago
Making Learning Design Standards Work with an Ontology of Educational Theories
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
Valéry Psyché, Jacqueline Bourdeau, ...
ECWEB
2005
Springer
102views ECommerce» more  ECWEB 2005»
15 years 10 months ago
Improving Web Design Methods with Architecture Modeling
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
Santiago Meliá, Jaime Gómez, Nora Ko...
GEOS
2005
Springer
15 years 10 months ago
Ontology Matching for Spatial Data Retrieval from Internet Portals
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
Hartwig H. Hochmair
ERLANG
2004
ACM
15 years 10 months ago
Monitoring and state transparency of distributed systems
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
Martin J. Logan