9166 search results - page 262 / 1834 » A framework for comparing models of computation |
139
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
146
click to vote
TCS
2011
14 years 11 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
142
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...
147
click to vote
BVAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Vision is a crucial sensor. It provides a very rich collection of information about our environment. However, not everything in a visual scene is relevant for the task at...
149
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Efficient multimodal fusion is a key feature of future video indexing systems. Hidden Markov Models provide a powerful framework for video structure analysis but they require all...