Sciweavers

1638 search results - page 127 / 328
» Properties of input-consuming derivations
Sort
View
CRV
2008
IEEE
115views Robotics» more  CRV 2008»
15 years 4 months ago
A Cue to Shading: Elongations near Intensity Maxima
The human visual system is often able to recognize shading patterns and to discriminate them from surface reflectance patterns. To understand how this ability is possible, we inv...
Daria Gipsman, Michael S. Langer
98
Voted
ICC
2007
IEEE
188views Communications» more  ICC 2007»
15 years 4 months ago
Asymptotic Coverage and Detection in Randomized Scheduling Algorithm in Wireless Sensor Networks
—In our previous work [11], we derived detection delay and detection probability for a randomized scheduling algorithm in wireless sensor networks. In this paper, we study asympt...
Yang Xiao, Ying Zhang, Xinyu Sun, Hui Chen
96
Voted
TAMC
2007
Springer
15 years 4 months ago
Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems
Abstract. We develop a refinement of a forbidden submatrix characterization of 0/1-matrices fulfilling the Consecutive Ones Property (C1P). This novel characterization finds app...
Michael Dom, Jiong Guo, Rolf Niedermeier
DAC
2003
ACM
15 years 3 months ago
Dos and don'ts of CTL state coverage estimation
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
ISCAS
2002
IEEE
93views Hardware» more  ISCAS 2002»
15 years 3 months ago
Time-frequency analysis in power measurement using complex wavelets
The problem of a useful electrical power quantification in environments with power quality problems is discussed. As it is difficult to correctly apply a Fourier-based approach, a...
Johan Driesen, Ronnie Belmans