Sciweavers

2333 search results - page 274 / 467
» Recursive Computational Depth
Sort
View
FOCS
1990
IEEE
15 years 6 months ago
Complexity of Unification in Free Groups and Free Semi-groups
The exponent of periodicity is an important factor in estimates of complexity of word-unification algorithms. We prove that the exponent of periodicity of a minimal solution of a w...
Antoni Koscielski, Leszek Pacholski
ACMIDC
2009
15 years 6 months ago
Children's programming, reconsidered: settings, stuff, and surfaces
The subject of children's programming has long been a vexed and controversial one in the field of educational technology. Debates in this area have typically focused on issue...
Michael Eisenberg, Nwanua Elumeze, Michael MacFerr...
118
Voted
AI
2006
Springer
15 years 6 months ago
Exploiting Dynamic Independence in a Static Conditioning Graph
Abstract. A conditioning graph (CG) is a graphical structure that attempt to minimize the implementation overhead of computing probabilities in belief networks. A conditioning grap...
Kevin Grant, Michael C. Horsch
BIRTHDAY
2006
Springer
15 years 6 months ago
Uniform Functors on Sets
This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main res...
Lawrence S. Moss
140
Voted
CLUSTER
2001
IEEE
15 years 6 months ago
Parallel Standard Cell Placement on a Cluster of Workstations
In this paper we report experiences on a parallel implementation of a standard cell placement algorithm on a cluster of myrinet connected PCs. The proposed algorithm is based on a...
Faris H. Khundakjie, Patrick H. Madden, Nael B. Ab...