Sciweavers

4285 search results - page 692 / 857
» Differential Behavioral Analysis
Sort
View
DAC
2006
ACM
16 years 6 months ago
Systematic temperature sensor allocation and placement for microprocessors
Modern high performance processors employ advanced techniques for thermal management, which rely on accurate readings of on-die thermal sensors. As the importance of thermal effec...
Rajarshi Mukherjee, Seda Ogrenci Memik
ICML
2005
IEEE
16 years 6 months ago
Proto-value functions: developmental reinforcement learning
This paper presents a novel framework called proto-reinforcement learning (PRL), based on a mathematical model of a proto-value function: these are task-independent basis function...
Sridhar Mahadevan
SIGSOFT
2004
ACM
16 years 6 months ago
Efficient incremental algorithms for dynamic detection of likely invariants
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
Jeff H. Perkins, Michael D. Ernst
ISBI
2002
IEEE
16 years 6 months ago
Virtual reality in biological microscopic imaging
Confocal microscopes have recently allowed biologists and biomedical researchers to obtain time dependent 3D data sets of biological objects, such as cells and tissues. Scientific...
Robert van Liere, Wim C. de Leeuw, Jurriaan D. Mul...
ICDT
2009
ACM
109views Database» more  ICDT 2009»
16 years 6 months ago
TOP-K projection queries for probabilistic business processes
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specific...
Daniel Deutch, Tova Milo