16430 search results - page 352 / 3286 » On Computable Tree Functions |
151
Voted
JUCS
2008
15 years 5 months ago
2008
: Evolutionary algorithms are effective search tools for tackling difficult optimization problems. In this paper an algorithm based on living processes where cooperation is the mai...
134
Voted
CG
2005
Springer
15 years 5 months ago
2005
Springer
We introduce an illumination method for outdoor scenes containing plants and trees. Our method supports multiresolution plant and tree models based on random L-systems. The method...
149
Voted
JCT
2011
15 years 1 days ago
2011
Abstract. We generalize a theorem of Knuth relating the oriented spanning trees of a directed graph G and its directed line graph LG. The sandpile group is an abelian group associa...
153
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
148
click to vote
ISPAN
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...