4767 search results - page 188 / 954 » Structures for Abstract Rewriting |
172
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— Regular structures are present in many types of circuits. If this structure can be identified and utilized, performance can be improved dramatically. In this paper, we...
163
click to vote
UAI
1998
15 years 7 months ago
1998
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...
143
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...
163
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...
191
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...