Sciweavers

2531 search results - page 193 / 507
» Group testing in graphs
Sort
View
ICCAD
1996
IEEE
144views Hardware» more  ICCAD 1996»
15 years 10 months ago
Validation coverage analysis for complex digital designs
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
Richard C. Ho, Mark Horowitz
ACL
2011
14 years 10 months ago
Semi-Supervised Frame-Semantic Parsing for Unknown Predicates
We describe a new approach to disambiguating semantic frames evoked by lexical predicates previously unseen in a lexicon or annotated data. Our approach makes use of large amounts...
Dipanjan Das, Noah A. Smith
SIGMOD
2010
ACM
196views Database» more  SIGMOD 2010»
15 years 10 months ago
Connected substructure similarity search
Substructure similarity search is to retrieve graphs that approximately contain a given query graph. It has many applications, e.g., detecting similar functions among chemical com...
Haichuan Shang, Xuemin Lin, Ying Zhang, Jeffrey Xu...
ECCV
2006
Springer
16 years 8 months ago
Describing and Matching 2D Shapes by Their Points of Mutual Symmetry
A novel shape descriptor is introduced. It groups pairs of points that share a geometrical property that is based on their mutual symmetry. The descriptor is visualized as a diagon...
Arjan Kuijper, Ole Fogh Olsen
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 11 months ago
Huey, Dewey, Louie, and GUI - Commanding Robot Formations
We present a graphical user interface (GUI) for easy, intuitive control of a group of mobile robots moving in formation, and we give a short description of the general, local, dis...
Jakob Fredslund, Maja J. Mataric