Sciweavers

1061 search results - page 145 / 213
» Dependently Sorted Logic
Sort
View
PKDD
2007
Springer
146views Data Mining» more  PKDD 2007»
15 years 6 months ago
A Method for Multi-relational Classification Using Single and Multi-feature Aggregation Functions
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
Richard Frank, Flavia Moser, Martin Ester
WSFM
2007
Springer
15 years 6 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
ICAS
2006
IEEE
136views Robotics» more  ICAS 2006»
15 years 6 months ago
Addressing the Signal Grounding Problem for Autonomic Systems
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
Martin Randles, A. Taleb-Bendiab, Philip Miseldine
ISCAS
2006
IEEE
94views Hardware» more  ISCAS 2006»
15 years 5 months ago
On the sensitivity of BDDs with respect to path-related objective functions
— Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synt...
Rüdiger Ebendt, Rolf Drechsler
SAC
2006
ACM
15 years 5 months ago
A framework for (re)deploying components in distributed real-time and embedded systems
This paper describes the Resource Allocation and Control Engine (RACE) that integrates multiple resource management algorithms for (re)deploying and managing performance of applic...
Nishanth Shankaran, Jaiganesh Balasubramanian, Dou...