4401 search results - page 310 / 881 » Computing with Default Logic |
149
click to vote
ESOP
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
178
click to vote
ICLP
2004
Springer
16 years 17 hour ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
168
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
A technique to derive test vectors that exercise the worstcase delay effects in a domino circuit in the presence of crosstalk is described. A model for characterizing the delay of...
174
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
165
click to vote
ILP
2003
Springer
15 years 12 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...