Sciweavers

5128 search results - page 131 / 1026
» When Abstraction Fails
Sort
View
DAGSTUHL
2004
15 years 6 months ago
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources
Abstract. When exploring online resources, users often make many separate retrievals
Aran Lunzer
IJMMS
2007
83views more  IJMMS 2007»
15 years 4 months ago
Making adaptive cruise control (ACC) limits visible
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...
Bobbie D. Seppelt, John D. Lee
HPCA
2011
IEEE
14 years 8 months ago
Archipelago: A polymorphic cache design for enabling robust near-threshold operation
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...
Amin Ansari, Shuguang Feng, Shantanu Gupta, Scott ...
RECOMB
2001
Springer
16 years 5 months ago
Finding motifs using random projections
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...
Jeremy Buhler, Martin Tompa
STACS
2009
Springer
15 years 11 months ago
Strong Completeness of Coalgebraic Modal Logics
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...
Lutz Schröder, Dirk Pattinson