3387 search results - page 402 / 678 » Automating the Metamodeling Process |
188
click to vote
ECSQARU
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
179
click to vote
ERCIMDL
2005
Springer
16 years 4 days ago
2005
Springer
The Digital Assets Repository (DAR) is a system developed at the Bibliotheca Alexandrina, the Library of Alexandria, to create and maintain the digital library collections. The sys...
164
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Digital subtraction is a promising technique used in radiographic studies of periapical lesions and other dental disorders for which the treatment must be evaluated over time. Thi...
154
click to vote
ICCBR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for conï...
181
click to vote
ICCBR
2005
Springer
16 years 3 days ago
2005
Springer
Knowledge workers are often embedded in an organizational setting, where execution of processes allows for appropriate, context-sensitive support. When a knowledge worker starts a ...