4353 search results - page 137 / 871 » Expressiveness of Process Algebras |
142
click to vote
ACL
2006
15 years 5 months ago
2006
The interpretation of temporal expressions in text is an important constituent task for many practical natural language processing tasks, including question-answering, information...
148
click to vote
ICIP
1997
IEEE
16 years 5 months ago
1997
IEEE
In this paper we present a model-based algorithm for the estimation of 3D motion and the analysis of facial expressions of a speaking person. A set of facial animation parameters ...
146
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Separation of Duty Constraints David Basin1 , Samuel J. Burri1,2 , and G?unter Karjoth2 1 ETH Zurich, Department of Computer Science, Switzerland 2 IBM Research, Zurich Research La...
140
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
127
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...