1224 search results - page 90 / 245 » Theory decision by decomposition |
169
click to vote
RTA
2009
Springer
16 years 27 days 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...
171
click to vote
DAGM
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...
147
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
Algorithmic methods based on the theory of fixed-parameter tractability are combined with powerful computational platforms to launch systematic attacks on combinatorial problems o...
139
click to vote
TROB
2008
15 years 6 months ago
2008
-- This paper presents the theoretical analysis and the experimental validation of the force sensing capabilities of continuum robots. These robots employ super-elastic NiTi backbo...
160
click to vote
TIT
2010
15 years 1 months ago
2010
Many recent works that study the performance of multi-input multi-output (MIMO) systems in practice assume a Kronecker model where the variances of the channel entries, upon decom...