5128 search results - page 131 / 1026 » When Abstraction Fails |
138
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
Abstract. When exploring online resources, users often make many separate retrievals
128
click to vote
IJMMS
2007
15 years 4 months ago
2007
Previous studies have shown adaptive cruise control (ACC) can compromise driving safety when drivers do not understand how the ACC functions, suggesting that drivers need to be in...
199
click to vote
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
Extreme technology integration in the sub-micron regime comes with a rapid rise in heat dissipation and power density for modern processors. Dynamic voltage scaling is a widely us...
206
click to vote
RECOMB
2001
Springer
16 years 5 months ago
2001
Springer
motif discovery problem abstracts the task of discovering short, conserved sites in genomic DNA. Pevzner and Sze recently described a precise combinatorial formulation of motif di...
137
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...