10997 search results - page 1806 / 2200 » On the Structure of Complete Sets |
164
click to vote
FC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A certiļ¬cate of authenticity (COA) is an inexpensive physical object with a random and unique structure S which is hard to nearexactly replicate. An inexpensive device ...
176
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...
188
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
169
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
The development of locative media applications is not simply about the physical location or social setting in which the interaction occurs, but rather about situating the media wi...
180
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...