391 search results - page 53 / 79 » Compositionality for Probabilistic Automata |
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
IJCNLP
2004
Springer
2004
Springer
Bilingual Chunk Alignment Based on Interactional Matching and Probabilistic Latent Semantic Indexing
14 years 27 days ago
Abstract. An integrated method for bilingual chunk partition and alignment, called “Interactional Matching”, is proposed in this paper. Different from former works, our method...
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
— Web services orchestrations and choreographies require establishing Quality of Service (QoS) contracts with the user. This is achieved by performing QoS composition, based on c...
IJCV
2008
13 years 7 months ago
2008
This paper describes two algorithms for the real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/contr...