10891 search results - page 252 / 2179 » Combining Model Reductions |
127
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
125
click to vote
ISCA
2000
IEEE
15 years 8 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
109
click to vote
ISWC
1999
IEEE
15 years 8 months ago
1999
IEEE
By integrating visual media with positioning information obtained with our wearable computer, we create new opportunities for using visuals both in the field and at the workstatio...
148
click to vote
CPAIOR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Haplotype inference has relevant biological applications, and represents a challenging computational problem. Among others, pure parsimony provides a viable modeling appr...
130
click to vote
IIWAS
2004
15 years 5 months ago
2004
Web applications increasingly utilize search techniques that heavily rely on content-based text and image analyses. For example, for parental site filtering, it is necessary to id...