2715 search results - page 337 / 543 » Total Generalized Variation |
111
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
We introduce a general and in a certain sense time-optimal way of solving one problem after another, efficiently searching the space of programs that compute solution candidates, i...
148
click to vote
JAR
2000
15 years 3 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
129
click to vote
MST
2000
15 years 3 months ago
2000
In this paper we present an efficient general simulation strategy for computations designed for fully operational BSP machines of n ideal processors, on n-processor dynamic-fault-p...
121
click to vote
CORR
1998
Springer
15 years 3 months ago
1998
Springer
We examine the computational complexity of testing and nding small plans in probabilistic planning domains with both at and propositional representations. The complexity of plan e...
135
click to vote
JCSC
2002
15 years 3 months ago
2002
Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...