115 search results - page 6 / 23 » Algebras Defined from Ordered Sets and the Varieties they Ge... |
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper addresses the problem of learning archetypal structural models from examples. To this end we define a generative model for graphs where the distribution of observed nod...
90
Voted
ICCAD
1994
IEEE
15 years 1 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
JACM
2007
14 years 9 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
TIME
1994
IEEE
15 years 1 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
102
Voted
JUCS
2008
14 years 9 months ago
2008
: The use of digital games in education is well documented in the literature. They have been used in preschool, K-12, the university. A specific type of digital games is board game...