Sciweavers

1127 search results - page 28 / 226
» Testing the Expansion of a Graph
Sort
View
ISCAS
2003
IEEE
96views Hardware» more  ISCAS 2003»
14 years 4 months ago
A novel improvement technique for high-level test synthesis
Improving testability during the early stages of High-Level Synthesis (HLS) has several benefits, including reduced test hardware overhead, reduced test costs, reduced design iter...
Saeed Safari, Hadi Esmaeilzadeh, Amir-Hossein Jaha...
COMBINATORICA
1999
89views more  COMBINATORICA 1999»
13 years 10 months ago
A Sublinear Bipartiteness Tester for Bounded Degree Graphs
We present a sublinear-time algorithm for testing whether a bounded degree graph is bipartite or far from being bipartite. Graphs are represented by incidence lists of bounded len...
Oded Goldreich, Dana Ron
TREC
1998
14 years 9 days ago
Retrieval Of Broadcast News Documents With the THISL System
This paper describes the THISL system that participated in the TREC-7 evaluation, Spoken Document Retrieval (SDR) Track, and presents the results obtained, together with some anal...
Dave Abberley, Steve Renals, Gary Cook, Anthony J....
IJCV
2012
12 years 1 months ago
Minimizing Energies with Hierarchical Costs
Abstract Computer vision is full of problems elegantly expressed in terms of energy minimization. We characterize a class of energies with hierarchical costs and propose a novel hi...
Andrew Delong, Lena Gorelick, Olga Veksler, Yuri B...
IROS
2009
IEEE
147views Robotics» more  IROS 2009»
14 years 5 months ago
A multi-hypothesis topological SLAM approach for loop closing on edge-ordered graphs
— We present a method for topological SLAM that specifically targets loop closing for edge-ordered graphs. Instead of using a heuristic approach to accept or reject loop closing...
Stephen Tully, George Kantor, Howie Choset, Felix ...