341 search results - page 34 / 69 » Redundancy elimination revisited |
DALT
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
In the domain of multi-bands image processing, two different approachescan be considered: the scalar one and thevectorial one. This paper presents a method that belongs to the fir...
ICML
1996
IEEE
14 years 9 months ago
1996
IEEE
In this paper, we examine a method for feature subset selection based on Information Theory. Initially, a framework for de ning the theoretically optimal, but computationally intr...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
CADE
2004
Springer
14 years 9 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...