Sciweavers

4209 search results - page 100 / 842
» Abstract Dialectical Frameworks
Sort
View
ILP
1997
Springer
15 years 8 months ago
A Logical Framework for Graph Theoretical Decision Tree Learning
Abstract. We present a logical approach to graph theoretical learning that is based on using alphabetic substitutions for modelling graph morphisms. A classi ed graph is represente...
Peter Geibel, Fritz Wysotzki
ICML
1989
IEEE
15 years 8 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
ICCS
2007
Springer
15 years 8 months ago
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
Abdallah Al Zain, Kevin Hammond, Philip W. Trinder...
140
Voted
BPM
2006
Springer
109views Business» more  BPM 2006»
15 years 8 months ago
A Generic Import Framework for Process Event Logs
Abstract. The application of process mining techniques to real-life corporate environments has been of an ad-hoc nature so far, focused on proving the concept. One major reason for...
Christian W. Günther, Wil M. P. van der Aalst
WER
2000
Springer
15 years 8 months ago
O Uso do Framework NFR no Projeto de Banco de Dados
Distributed database design is a complex process that involves a set of distinct aspects for the accomplishment of an adequate data distribution (Buretta 1997). Many of these aspec...
Márcia Santos, Maria Lencastre, Jaelson Bre...