Sciweavers

3972 search results - page 694 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
139
Voted
SIGKDD
2008
125views more  SIGKDD 2008»
15 years 3 months ago
Incremental pattern discovery on streams, graphs and tensors
Incremental pattern discovery targets streaming applications where the data continuously arrive incrementally. The questions are how to find patterns (main trends) incrementally; ...
Jimeng Sun
119
Voted
CPM
1999
Springer
92views Combinatorics» more  CPM 1999»
15 years 7 months ago
Physical Mapping with Repeated Probes: The Hypergraph Superstring Problem
We focus on the combinatorial analysis of physical mapping with repeated probes. We present computational complexity results, and we describe and analyze an algorithmic strategy. W...
Serafim Batzoglou, Sorin Istrail
153
Voted
ACIVS
2006
Springer
15 years 7 months ago
Adaptative Road Lanes Detection and Classification
Abstract. This paper presents a Road Detection and Classification algorithm for Driver Assistance Systems (DAS), which tracks several road lanes and identifies the type of lane bou...
Juan Manuel Collado, Cristina Hilario, Arturo de l...
129
Voted
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
15 years 7 months ago
Providing Automated Verification in HOL Using MDGs
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
Tarek Mhamdi, Sofiène Tahar
133
Voted
SIGGRAPH
1991
ACM
15 years 7 months ago
Coping with friction for non-penetrating rigid body simulation
Algorithms and computational complexity measures for simulating the motion of contacting bodies with friction are presented. The bodies are restricted to be perfectly rigid bodies...
David Baraff