8446 search results - page 1170 / 1690 » A Process Compensation Language |
213
click to vote
CSFW
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
335
click to vote
AFRIGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Image registration forms the basis of many computer vision tasks. The Lucas-Kanade image registration algorithm is known to efficiently solve the sub-problem of rigid image regis...
175
click to vote
WIKIS
2010
ACM
15 years 11 months ago
2010
ACM
This demonstration introduces WikiPics, a language-independent image search engine for Wikimedia Commons. Based on the multilingual thesaurus provided by WikiWord, WikiPics allows...
216
click to vote
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
165
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...