Sciweavers

1127 search results - page 28 / 226
» Testing the Expansion of a Graph
Sort
View
ISCAS
2003
IEEE
96views Hardware» more  ISCAS 2003»
15 years 2 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»
14 years 9 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 11 months 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
13 years 2 days 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»
15 years 4 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 ...