1420 search results - page 148 / 284 » Representation of Graphs by OBDDs |
171
click to vote
FSTTCS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
159
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a new intermediate compiler representation, static token form, that is suitable for dataflow-style synthesis of high-level asynchronous specifications. Static token fo...
161
click to vote
SE
2010
15 years 8 months ago
2010
: The paper proposes an approach for compliance audits in workflow environments based on the tracking of information flow. Requirements are formalized as a binary relation on the w...
107
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper, we describe an approach that aims to model heterogeneous resources for information extraction. Document is modeled in graph representation that enables better under...
175
click to vote
LEGE
2004
15 years 8 months ago
2004
A flexible approach for structuring and merging distributed learning object is presented. At the basis of this approach there is a formal representation of a learning object, call...