5378 search results - page 807 / 1076 » Base Logics in Argumentation |
197
click to vote
PPDP
2004
Springer
16 years 2 days ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
154
Voted
PVM
2004
Springer
16 years 2 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
184
click to vote
XSYM
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we describe an approach to boosting the performance of an XQuery engine by identifying and exploiting opportunities to share processing both within and across XML qu...
161
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
144
click to vote
EH
2003
IEEE
16 years 1 days ago
2003
IEEE
No silicon fabrication and characterization of circuits with topologies designed by evolution has been done before, leaving open questions about the feasibility of the evolutionar...