887 search results - page 110 / 178 » Representing Systems with Hidden State |
154
click to vote
AMDO
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a method of estimating both 3-D shapes and moving poses of an articulated object from a monocular image sequence. Instead of using direct depth data, prior loo...
144
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
138
click to vote
ECIR
2010
Springer
15 years 5 months ago
2010
Springer
Web search personalization aims to adapt search results to a user based on his tastes, interests and needs. The way in which such personal preferences are captured, modeled and exp...
138
click to vote
CSL
2002
Springer
15 years 3 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
106
click to vote
SIVP
2010
15 years 2 months ago
2010
Resource aware operation of sensor networks requires adaptive re-organization to dynamically adapt to the operational environment. A complex dynamical system of interacting compone...