846 search results - page 92 / 170 » Transforming structures by set interpretations |
ICCAD
1999
IEEE
14 years 2 months ago
1999
IEEE
Deep submicron technology calls for new design techniques, in which wire and gate delays are accounted to have equal or nearly equal effect on circuit behaviour. Asynchronous spee...
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
CONCUR
1993
Springer
14 years 2 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
IAJIT
2010
2010
Representing Uncertainty in Medical Knowledge: An Interval Based Approach for Binary Fuzzy Relations
13 years 8 months ago
: This paper addresses issues involved in representation of causal relationships between medical categories. An interval based approach for medical binary fuzzy relations is propos...