Sciweavers

119 search results - page 7 / 24
» flairs 2008
Sort
View
60
Voted
FLAIRS
2008
15 years 21 days ago
Concept of an Interactive Web Portal for Teaching Prolog
The paper presents observations concerning teaching Prolog to computer science students. Basing on these experiences an interactive web-portal is proposed to support teaching. Som...
Grzegorz J. Nalepa, Igor Wojnicki
FLAIRS
2008
15 years 21 days ago
Semi-Automatic Refinement and Assessment of Subgroup Patterns
This paper presents a methodological approach for the semiautomatic refinement and assessment of subgroup patterns using summarization and clustering techniques in the context of ...
Martin Atzmüller, Frank Puppe
103
Voted
FLAIRS
2008
15 years 21 days ago
Declarative Specification and Interpretation of Rule-Based Systems
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategi...
Dietmar Seipel, Joachim Baumeister
90
Voted
FLAIRS
2008
14 years 11 months ago
Feeder Setup Optimization in SMT Assembly
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to impro...
Jan Kelbel, Zdenek Hanzálek
FLAIRS
2008
15 years 21 days ago
An Inference Mechanism for Point-Interval Logic
We present a new inference algorithm for Point-Interval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for PointInterval Logic. We also...
Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi