Sciweavers

1030 search results - page 146 / 206
» Partial Detectability Profiles
Sort
View
ICLP
2009
Springer
16 years 9 days ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
63
Voted
ICCD
2002
IEEE
98views Hardware» more  ICCD 2002»
15 years 8 months ago
Parallel Multiple-Symbol Variable-Length Decoding
In this paper, a parallel Variable-Length Decoding (VLD) scheme is introduced. The scheme is capable of decoding all the codewords in an N-bit buffer whose accumulated codelength ...
Jari Nikara, Stamatis Vassiliadis, Jarmo Takala, M...
122
Voted
CVPR
2010
IEEE
15 years 8 months ago
Modeling Mutual Context of Object and Human Pose in Human-Object Interaction Activities
Detecting objects in cluttered scenes and estimating articulated human body parts are two challenging problems in computer vision. The difficulty is particularly pronounced in ac...
Bangpeng Yao, Li Fei-Fei
VTC
2008
IEEE
185views Communications» more  VTC 2008»
15 years 6 months ago
Opportunistic Spectrum Access for Energy-Constrained Cognitive Radios
This paper considers a scenario in which a secondary user makes opportunistic use of a channel allocated to some primary network. The primary network operates in a time-slotted ma...
Anh Tuan Hoang, Ying-Chang Liang, David Tung Chong...
92
Voted
IWINAC
2007
Springer
15 years 5 months ago
Automatic Control of Video Surveillance Camera Sabotage
One of the main characteristics of a video surveillance system is its reliability. To this end, it is needed that the images captured by the videocameras are an accurate representa...
Pedro Gil-Jiménez, Roberto Javier Ló...