4127 search results - page 383 / 826 » Evaluation methods for topic models |
196
click to vote
PRDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
255
click to vote
CHARME
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
216
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
In this paper, a novel object class detection method based on 3D object modeling is presented. Instead of using a complicated mechanism for relating multiple 2D training views, th...
231
click to vote
RECOMB
2001
Springer
16 years 7 months ago
2001
Springer
The recent growth in genomic data and measurements of genome-wide expression patterns allows us to apply computational tools to examine gene regulation by transcription factors. I...
207
click to vote
Publication
Tracking heart motion plays an essential role in the diagnosis of cardiovascular diseases. As such, accurate characterization of dynamic behavior of the left ventricle (LV) is esse...