1209 search results - page 82 / 242 » Approximation by pseudo-linear operators |
136
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
120
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper presents an approach for haptic rendering of topological constraints to users operating serial virtual linkages. In the proposed approach, a haptic device controller...
158
click to vote
FSE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present a distinguisher targeting towards irregularly clocked filter generators. The attack is applied on the irregularly clocked stream cipher called LILI-II. LI...
133
click to vote
IDEAL
2004
Springer
15 years 9 months ago
2004
Springer
AURA (Advanced Uncertain Reasoning Architecture) is a parallel pattern matching technology intended for high-speed approximate search and match operations on large unstructured dat...
117
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— We present a novel plane tracking algorithm based on the direct update of surface parameters from two stereo images. The plane tracking algorithm is posed as an optimization pr...