16430 search results - page 341 / 3286 » On Computable Tree Functions |
124
click to vote
ARITH
2005
IEEE
15 years 10 months ago
2005
IEEE
We introduce an inheritance property and related table lookup structures applicable to simplified evaluation of the modular operations “multiplicative inverse”, “discrete l...
152
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
179
Voted
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
153
Voted
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
We introduce a lazy XSLT interpreter that provides random access to the transformation result. This allows efficient pipelining of transformation sequences. Nodes of the result tr...
173
click to vote
ENC
2004
IEEE
15 years 8 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...