7259 search results - page 1332 / 1452 » From Fields to Trees |
ISPAN
1997
IEEE
14 years 14 days 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...
LICS
1994
IEEE
14 years 12 days ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
TAGT
1994
Springer
14 years 10 days ago
1994
Springer
An operation of concatenation is introduced for graphs. Then strings are viewed as expressions denoting graphs, and string languages are interpreted as graph languages. For a clas...
AFRIGRAPH
2009
ACM
14 years 7 days ago
2009
ACM
The generation of accurate Line of Sight (LOS) visibility information consumes significant resources in large scale synthetic environments such as many-on-many serious games and b...
ACMIDC
2010
14 years 6 days ago
2010
Inspired by Froebel’s Gifts for kindergarten, we propose a new category of gifts for modern preschools. Modern Nature Gifts are meta-manipulatives, inviting deeper exploration o...