Sciweavers

1856 search results - page 237 / 372
» Formal Dialectic Specification
Sort
View
ACRI
2006
Springer
16 years 14 days 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
AIED
2005
Springer
16 years 19 hour 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»
16 years 6 hour 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
16 years 2 min 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 12 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