627 search results - page 87 / 126 » Branched Polyhedral Systems |
ECIS
2003
15 years 9 days ago
2003
: Using a knowledge management perspective, this paper investigates new and efficient ways of applying intelligent agents to e-business customer relationship management. Intelligen...
ECAI
2010
Springer
15 years 1 days ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
109
Voted
CCS
2011
ACM
13 years 11 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
98
Voted
ICCV
2001
IEEE
16 years 26 days ago
2001
IEEE
We present a comprehensive treatment of 3D object tracking by posing it as a nonlinear state estimation problem. The measurements are derived using the outputs of shape-encoded fi...
101
Voted
MICCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We develop a general approach that uses holomorphic 1forms to parameterize anatomical surfaces with complex (possibly branching) topology. Rather than evolve the surface ...