Sciweavers

1715 search results - page 142 / 343
» How Space Structures Language
Sort
View
CCS
2001
ACM
15 years 8 months ago
Events in security protocols
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
Federico Crazzolara, Glynn Winskel
133
Voted
EMNLP
2010
15 years 1 months ago
Joint Training and Decoding Using Virtual Nodes for Cascaded Segmentation and Tagging Tasks
Many sequence labeling tasks in NLP require solving a cascade of segmentation and tagging subtasks, such as Chinese POS tagging, named entity recognition, and so on. Traditional p...
Xian Qian, Qi Zhang, Yaqian Zhou, Xuanjing Huang, ...
130
Voted
MKM
2004
Springer
15 years 9 months ago
Flexible Encoding of Mathematics on the Computer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
KI
2005
Springer
15 years 9 months ago
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
Marco Ragni, Stefan Wölfl
115
Voted
EUROPDS
1997
15 years 5 months ago
A Combined Virtual Shared Memory and Network which Schedules
In this paper, we follow a new path to arrive at the idea of a COMA — a Cache Only Memory Architecture. We show how the evolution of another architecture (ADARC) leads quite nat...
Ronald Moore, Bernd Klauer, Klaus Waldschmidt