3395 search results - page 578 / 679 » A Statistical Clustering Model and Algorithm |
178
click to vote
TCAD
2008
15 years 6 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
161
click to vote
TITB
2008
15 years 6 months ago
2008
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
182
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We propose a framework for discovery of collaborative community structure in Wiki-based knowledge repositories based on raw-content generation analysis. We leverage topic...
177
click to vote
EMNLP
2009
15 years 4 months ago
2009
We extend previous work on fully unsupervised part-of-speech tagging. Using a non-parametric version of the HMM, called the infinite HMM (iHMM), we address the problem of choosing...
197
click to vote
IJWMC
2010
15 years 3 months ago
2010
Coverage, fault tolerance and power consumption constraints make optimal placement of mobile sensors or other mobile agents a hard problem. We have developed a model for describin...