1486 search results - page 214 / 298 » A Logically Saturated Extension of |
168
click to vote
ICCS
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
188
click to vote
PPDP
2009
Springer
16 years 27 days ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
140
click to vote
APLAS
2009
ACM
16 years 26 days ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
172
click to vote
FCCM
2008
IEEE
16 years 24 days ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
182
click to vote
ICDCS
2008
IEEE
16 years 24 days ago
2008
IEEE
This paper presents a scalable and adaptive decentralized metadata lookup scheme for ultra large-scale file systems (≥ Petabytes or even Exabytes). Our scheme logically organiz...