11016 search results - page 2015 / 2204 » Cloud Computing for Science |
131
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
bstraction of Wildlife Footage using Gaussian Mixture Models and the Minimum Description Length Criterion David Gibson Neill Campbell Barry Thomas Department of Computer Science Un...
131
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...
174
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
151
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...
140
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Ninety million Americans have inadequate health literacy, resulting in a reduced ability to read and follow directions in the healthcare environment. We describe an animated, empa...