Sciweavers

245 search results - page 30 / 49
» State Complexity of Testing Divisibility
Sort
View
136
Voted
IJRR
2011
218views more  IJRR 2011»
14 years 7 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 15 days 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
112
Voted
DAC
2000
ACM
16 years 1 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
RECOMB
2007
Springer
16 years 23 days 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
131
Voted
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 6 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...