Sciweavers

1117 search results - page 154 / 224
» Domain Specific Engineering Environments
Sort
View
ITS
2004
Springer
165views Multimedia» more  ITS 2004»
15 years 7 months ago
Knowledge Representation Requirements for Intelligent Tutoring Systems
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
Ioannis Hatzilygeroudis, Jim Prentzas
ATAL
2008
Springer
15 years 4 months ago
BDI-agents for agile goal-oriented business processes
Business processes are the core assets of enterprises. They turn the business potential into actual competitiveness on the market. To face the challenges posed by today's cha...
Birgit Burmeister, M. Arnold, Felicia Copaciu, Gio...
151
Voted
ASE
2005
140views more  ASE 2005»
15 years 2 months ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen
135
Voted
WWW
2004
ACM
16 years 3 months ago
Conceptual Modelling versus Semantic Web: the two sides of the same coin?
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
Oscar Pastor, Joan Fons, Victoria Torres, Vicente ...
106
Voted
ECTEL
2007
Springer
15 years 8 months ago
A Question Answering Service for Information Retrieval in Cooper
In Cooper, part of the student support will be provided by a Question Answering application in the form of a webservice. Question Answering allows a user to use the content of proj...
Bas Giesbers, Antonio Vincenzo Taddeo, Wim van der...