4961 search results - page 232 / 993 » Homomorphism-Homogeneous Relational Structures |
126
Voted
FM
2001
Springer
15 years 8 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
127
Voted
COGSCI
1998
15 years 3 months ago
1998
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...
128
Voted
MTA
2010
15 years 2 months ago
2010
It is common practice in audiovisual archives to disclose documents using metadata from a structured vocabulary or thesaurus. Many of these thesauri have limited or no structure. T...
159
Voted
ICITS
2009
15 years 1 months ago
2009
In a multisecret sharing scheme, several secret values are distributed among a set of n users, and each secret may have a different associated access structure. We consider here un...
104
Voted
MLQ
2006
15 years 3 months ago
2006
We show that a Woodin cardinal is necessary for the Extender Algebra to be complete. Our proof is relatively simple and does not use fine structure.