296 search results - page 37 / 60 » Using SAT-based techniques in power estimation |
BMCBI
2010
13 years 8 months ago
2010
Background: Determining a suitable sample size is an important step in the planning of microarray experiments. Increasing the number of arrays gives more statistical power, but ad...
ISLPED
2010
ACM
13 years 8 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
IPMI
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we propose an automated approach for joint sulci detection on cortical surfaces by using graphical models and boosting techniques to incorporate shape priors of major...
JIRS
2006
13 years 7 months ago
2006
To safely and efficiently guide personnel of search and rescue operations in disaster areas, swift gathering of relevant information such as the locations of victims, must occur. U...
TDSC
2010
13 years 2 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...