3591 search results - page 357 / 719 » Typing linear constraints |
187
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
164
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we investigate the mathematical problem underlying segmentation of hybrid motions: Given a series of tracked feature correspondences between two (perspective) image...
184
click to vote
WADS
2009
Springer
16 years 1 months ago
2009
Springer
Locked tree linkages have been known to exist in the plane since 1998, but it is still open whether they have a polynomial-time characterization. This paper examines the properties...
183
click to vote
AES
2004
Springer
16 years 7 days ago
2004
Springer
This paper is motivated by the design of AES. We consider a broader question of cryptanalysis of block ciphers having very good non-linearity and diffusion. Can we expect anyway, ...
194
click to vote
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We consider the problem of estimating vector-valued variables from noisy "relative" measurements. The measurement model can be expressed in terms of a graph, wh...