9507 search results - page 1635 / 1902 » Time-based language models |
182
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
165
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
177
click to vote
IEAAIE
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
177
Voted
IFIP
2005
Springer
16 years 3 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
193
click to vote
PERVASIVE
2005
Springer
16 years 3 days ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...