Sciweavers

3624 search results - page 547 / 725
» Abstract Algebraic Logic
Sort
View
SCP
2010
96views more  SCP 2010»
15 years 4 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
ICSOC
2010
Springer
15 years 4 months ago
Automatic Fragment Identification in Workflows Based on Sharing Analysis
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegi...
JELIA
2010
Springer
15 years 4 months ago
Tabling with Answer Subsumption: Implementation, Applications and Performance
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
Terrance Swift, David Scott Warren
EUSFLAT
2009
162views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Early Start Can Inhibit Learning: Towards A New Explanation
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...
Olga Kosheleva
EUSFLAT
2009
142views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Multi-Dimensional Scaling applied to Hierarchical Rule Systems
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
Thomas R. Gabriel, Kilian Thiel, Michael R. Bertho...