Sciweavers

5423 search results - page 261 / 1085
» Denial-of-service in automation systems
Sort
View
EWCBR
2004
Springer
15 years 10 months ago
Justification-Based Case Retention
Abstract. A CBR system needs a good case retention strategy to decide which cases to incorporate into the case base in order to maximize the performance of the system. In this work...
Santiago Ontañón, Enric Plaza
FLOPS
2004
Springer
15 years 10 months ago
Implementing Natural Rewriting and Narrowing Efficiently
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
Santiago Escobar
ICLP
1995
Springer
15 years 10 months ago
WAMCC: Compiling Prolog to C
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...
Philippe Codognet, Daniel Diaz
DEON
2010
Springer
15 years 9 months ago
A Logical Model of Private International Law
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
Phan Minh Dung, Giovanni Sartor
EWCBR
2008
Springer
15 years 8 months ago
Noticeably New: Case Reuse in Originality-Driven Tasks
"Similar problems have similar solutions" is a basic tenet of case-based inference. However this is not satisfied for CBR systems where the task is to achieve original so...
Belén Díaz-Agudo, Enric Plaza, Juan ...