Sciweavers

1715 search results - page 187 / 343
» How Space Structures Language
Sort
View
APN
1999
Springer
15 years 7 months ago
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets
: This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key bene...
Charles Lakos, John Lamp
NAACL
2007
15 years 4 months ago
Incremental Non-Projective Dependency Parsing
An open issue in data-driven dependency parsing is how to handle non-projective dependencies, which seem to be required by linguistically adequate representations, but which pose ...
Joakim Nivre
BSL
2007
51views more  BSL 2007»
15 years 3 months ago
Relating First-order Set Theories and Elementary Toposes
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
Steven Awodey, Carsten Butz, Alex Simpson, Thomas ...
ESOP
2010
Springer
16 years 18 days ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker
IFIP
2010
Springer
15 years 8 months ago
Laban Movement Analysis towards Behavior Patterns
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
Luís Santos, Jorge Dias