Sciweavers

253 search results - page 42 / 51
» The Sketching Complexity of Pattern Matching
Sort
View
DAC
2010
ACM
15 years 26 days ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
ICCV
2005
IEEE
15 years 11 months ago
Dynamic Refraction Stereo
In this paper we consider the problem of reconstructing the 3D position and surface normal of points on an unknown, arbitrarily-shaped refractive surface. We show that two viewpoi...
Nigel J. W. Morris, Kiriakos N. Kutulakos
ICDE
2008
IEEE
214views Database» more  ICDE 2008»
15 years 11 months ago
Efficient Online Subsequence Searching in Data Streams under Dynamic Time Warping Distance
Abstract- Data streams of real numbers are generated naturally in many applications. The technology of online subsequence searching in data streams becomes more and more important ...
Mi Zhou, Man Hon Wong
106
Voted
CPM
2009
Springer
189views Combinatorics» more  CPM 2009»
15 years 4 months ago
Average-Case Analysis of Perfect Sorting by Reversals
A sequence of reversals that takes a signed permutation to the identity is perfect if it preserves all common intervals between the permutation and the identity. The problem of com...
Mathilde Bouvel, Cedric Chauve, Marni Mishna, Domi...
HT
2009
ACM
15 years 4 months ago
On hypertext narrative
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...
Mark Bernstein