Sciweavers

4623 search results - page 808 / 925
» Knowledge Representation on the Web
Sort
View
ECAI
2000
Springer
14 years 1 months ago
The WITAS Unmanned Aerial Vehicle Project
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...
Patrik Dohrty, Gösta H. Granlund, Krzysztof K...
ITS
2000
Springer
156views Multimedia» more  ITS 2000»
14 years 1 months ago
A Coached Collaborative Learning Environment for Entity-Relationship Modeling
Abstract. We discuss the design of an agent for coaching collaborative learning in a distance learning context. The learning domain is entity-relationship modeling, a domain in whi...
María de los Angeles Constantino-Gonz&aacut...
ITS
2000
Springer
137views Multimedia» more  ITS 2000»
14 years 1 months ago
Design Principles for a System to Teach Problem Solving by Modelling
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
Gérard Tisseau, Hélène Giroir...
PEPM
1995
ACM
14 years 1 months ago
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
Michael Leuschel, Danny De Schreye
CMSB
2009
Springer
14 years 1 months ago
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...
Lucia Napione, Daniele Manini, Francesca Cordero, ...