Sciweavers

245 search results - page 30 / 49
» State Complexity of Testing Divisibility
Sort
View
152
Voted
IJRR
2011
218views more  IJRR 2011»
14 years 9 months ago
Motion planning under uncertainty for robotic tasks with long time horizons
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...
Hanna Kurniawati, Yanzhu Du, David Hsu, Wee Sun Le...
GPEM
2008
98views more  GPEM 2008»
15 years 2 months ago
Sporadic model building for efficiency enhancement of the hierarchical BOA
Efficiency enhancement techniques--such as parallelization and hybridization--are among the most important ingredients of practical applications of genetic and evolutionary algori...
Martin Pelikan, Kumara Sastry, David E. Goldberg
132
Voted
DAC
2000
ACM
16 years 3 months ago
Power minimization using control generated clocks
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
M. Srikanth Rao, S. K. Nandy
122
Voted
RECOMB
2007
Springer
16 years 2 months ago
GIMscan: A New Statistical Method for Analyzing Whole-Genome Array CGH Data
Genetic instability represents an important type of biological markers for cancer and many other diseases. Array Comparative Genome Hybridization (aCGH) is a high-throughput cytoge...
Yanxin Shi, Fan Guo, Wei Wu, Eric P. Xing
147
Voted
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 8 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...