2282 search results - page 133 / 457 » Active property checking |
114
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, a novel statistical indoor activity recognition algorithm is introduced. While conditional random fields (CRFs) have prominent properties to this task, no optimal ...
143
click to vote
DAGSTUHL
1998
15 years 5 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
134
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
— We introduce a remote activation scheme that aims to protect integrated circuits (IC) intellectual property (IP) against piracy. Remote activation enables designers to lock eac...
137
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
We present some theoretical results related to the problem
of actively searching for a target in a 3D environment,
under the constraint of a maximum search time. We define
the o...
113
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, the design of a new active cardiac stabilizer, Cardiolock2, is presented. Following the proof of concept Cardiolock [7], this device allows an active stabilizati...