955 search results - page 169 / 191 » Model Checking Operator Procedures |
114
Voted
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...
88
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. This paper proposes a method of characterizing correlation of signal tra...
84
Voted
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
For many medical procedures 3D bone models are built from Computed Tomography (CT) or Magnetic Resonance Imaging (MRI) data, both of which are expensive and time consuming, and un...
114
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
96
Voted
MOBIHOC
2008
ACM
16 years 6 days ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...