Sciweavers

798 search results - page 91 / 160
» Engineering graph clustering: Models and experimental evalua...
Sort
View
PASTE
2005
ACM
14 years 3 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
CVPR
2007
IEEE
14 years 4 months ago
EDA Approach for Model Based Localization and Recognition of Vehicles
We address the problem of model based recognition. Our aim is to localize and recognize road vehicles from monocular images in calibrated scenes. A deformable 3D geometric vehicle...
Zhaoxiang Zhang, Weishan Dong, Kaiqi Huang, Tieniu...
ISSTA
2010
ACM
14 years 6 days ago
Causal inference for statistical fault localization
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...
George K. Baah, Andy Podgurski, Mary Jean Harrold
ICDM
2010
IEEE
267views Data Mining» more  ICDM 2010»
13 years 8 months ago
Personalizing Web Page Recommendation via Collaborative Filtering and Topic-Aware Markov Model
Web-page recommendation is to predict the next request of pages that Web users are potentially interested in when surfing the Web. This technique can guide Web users to find more u...
Qingyan Yang, Ju Fan, Jianyong Wang, Lizhu Zhou
IJDMMM
2010
128views more  IJDMMM 2010»
13 years 8 months ago
Graphical models based hierarchical probabilistic community discovery in large-scale social networks
: Real-world social networks, while disparate in nature, often comprise of a set of loose clusters (a.k.a. communities), in which members are better connected to each other than to...
Haizheng Zhang, Ke Ke, Wei Li, Xuerui Wang