12399 search results - page 390 / 2480 » Deformable structural models |
134
click to vote
CIE
2007
Springer
16 years 28 days ago
2007
Springer
We introduce the notion of a locally computable structure, a natural way of generalizing the notions of computable model theory to uncountable structures S by presenting the finit...
136
click to vote
FUIN
2006
15 years 6 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
191
click to vote
IPM
2007
15 years 6 months ago
2007
We describe a compression model for semistructured documents, called Structural Contexts Model (SCM), which takes advantage of the context information usually implicit in the stru...
165
click to vote
COLING
2000
15 years 8 months ago
2000
We compare the potential of two classes of linear and hierarchical models of discourse to determine co-reference links and resolve anaphors. The comparison uses a corpus of thirty...
203
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...