2333 search results - page 179 / 467 » Recursive Computational Depth |
108
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we propose a novel parameterized interconnect order reduction algorithm, CORE, to efficiently capture both inter-die and intra-die variations. CORE applies a two-ste...
146
Voted
PLPV
2009
ACM
15 years 11 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
133
click to vote
COLT
1992
Springer
15 years 6 months ago
1992
Springer
Language learning from positive data in the Gold model of inductive inference is investigated in a setting where the data can be modeled as a stochastic process. Specifically, the...
111
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
Decomposition is a powerful technique for reducing the size of a backtracking search tree. However, when solving constraint optimization problems (COP's) the standard techniqu...
132
click to vote
STRINGOLOGY
2004
15 years 3 months ago
2004
Recently, several authors presented linear recursive algorithms for sorting suffixes of a string. All these algorithms employ a similar three-step approach, based on an initial di...