Sciweavers

243 search results - page 46 / 49
» On randomized representations of graphs using short labels
Sort
View
KBSE
2005
IEEE
14 years 8 days ago
A context-sensitive structural heuristic for guided search model checking
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
Neha Rungta, Eric G. Mercer
ICDM
2006
IEEE
176views Data Mining» more  ICDM 2006»
14 years 22 days ago
Razor: mining distance-constrained embedded subtrees
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...
Henry Tan, Tharam S. Dillon, Fedja Hadzic, Elizabe...
HICSS
2010
IEEE
193views Biometrics» more  HICSS 2010»
14 years 1 months ago
The Topological and Electrical Structure of Power Grids
Numerous recent papers have found important relationships between network structure and risks within networks. These results indicate that network structure can dramatically affec...
Paul Hines, Seth Blumsack, E. Cotilla Sanchez, C. ...
ECCV
2004
Springer
14 years 8 months ago
A Statistical Model for General Contextual Object Recognition
We consider object recognition as the process of attaching meaningful labels to specific regions of an image, and propose a model that learns spatial relationships between objects....
Peter Carbonetto, Nando de Freitas, Kobus Barnard
INFOCOM
2006
IEEE
14 years 21 days ago
Theory and Network Applications of Dynamic Bloom Filters
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
Deke Guo, Jie Wu, Honghui Chen, Xueshan Luo