Sciweavers

2736 search results - page 8 / 548
» Implementable allocation rules
Sort
View
ICLP
2009
Springer
14 years 10 months ago
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
Martin Gebser, Roland Kaminski, Benjamin Kaufmann,...
ICDE
1994
IEEE
87views Database» more  ICDE 1994»
14 years 1 months ago
Implementing Calendars and Temporal Rules in Next Generation Databases
In applications like nancial trading, scheduling, manufacturing and process control, time based predicates in queries and rules are very important. There is also a need to de ne ...
Rakesh Chandra, Arie Segev, Michael Stonebraker
HIS
2009
13 years 7 months ago
Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
Yuting Zhao, Jeff Z. Pan, Yuan Ren
VL
2000
IEEE
136views Visual Languages» more  VL 2000»
14 years 2 months ago
A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
Mauro Mosconi, Marco Porta
UC
2010
Springer
13 years 7 months ago
Majority Adder Implementation by Competing Patterns in Life-Like Rule B2/S2345
We study Life-like cellular automaton rule B2/S2345. This automaton exhibits a chaotic behavior yet capable for purposeful computation. The automaton implements Boolean gates via p...
Genaro Juárez Martínez, Kenichi Mori...