Sciweavers

2598 search results - page 295 / 520
» The Abstract Immune System Algorithm
Sort
View
TABLEAUX
2000
Springer
15 years 10 months ago
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
Alberto Artosi, Guido Governatori, Antonino Rotolo
ISLPED
1995
ACM
100views Hardware» more  ISLPED 1995»
15 years 10 months ago
Simultaneous scheduling and binding for power minimization during microarchitecture synthesis
ABSTRACT { Sub-micron technologies and the increasing size and complexity of integrated components have aggravated the e ect of long interconnects and buses, compared to that of ga...
Aurobindo Dasgupta, Ramesh Karri
IAT
2009
IEEE
15 years 9 months ago
Developing a Deterministic Patrolling Strategy for Security Agents
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
Nicola Basilico, Nicola Gatti, Francesco Amigoni
ICDE
2010
IEEE
181views Database» more  ICDE 2010»
15 years 9 months ago
Navigating through Mashed-up Applications with COMPASS
Abstract-- Mashups integrate a set of complementary Webservices and data sources, often referred to as mashlets. We consider here a common scenario where the integrated mashlets ar...
Daniel Deutch, Ohad Greenshpan, Tova Milo
CAISE
2006
Springer
15 years 8 months ago
Incremental Workflow Mining for Process Flexibility
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäf...