Sciweavers

2969 search results - page 104 / 594
» A space efficient algorithm for group structure computation
Sort
View
DAC
2010
ACM
15 years 4 months ago
An efficient dual algorithm for vectorless power grid verification under linear current constraints
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
Xuanxing Xiong, Jia Wang
ML
1998
ACM
101views Machine Learning» more  ML 1998»
15 years 3 months ago
Elevator Group Control Using Multiple Reinforcement Learning Agents
Recent algorithmic and theoretical advances in reinforcement learning (RL) have attracted widespread interest. RL algorithmshave appeared that approximatedynamic programming on an ...
Robert H. Crites, Andrew G. Barto
BMCBI
2010
122views more  BMCBI 2010»
15 years 3 months ago
Simultaneous prediction of transcription factor binding sites in a group of prokaryotic genomes
Background: Our current understanding of transcription factor binding sites (TFBSs) in sequenced prokaryotic genomes is very limited due to the lack of an accurate and efficient c...
Shaoqiang Zhang, Shan Li, Phuc T. Pham, Zhengchang...
IJCAI
2003
15 years 4 months ago
Optimal Time-Space Tradeoff in Probabilistic Inference
Recursive Conditioning, RC, is an any-space algorithm lor exact inference in Bayesian networks, which can trade space for time in increments of the size of a floating point number...
David Allen, Adnan Darwiche
130
Voted
ESOP
2009
Springer
15 years 7 months ago
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees
The context-free language (CFL) reachability problem is well known and studied in computer science, as a fundamental problem underlying many important static analyses such as point...
Hao Yuan, Patrick Th. Eugster