3174 search results - page 104 / 635 » An Exploration of the Permanent-Determinant Method |
184
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
182
click to vote
ALMOB
2008
15 years 6 months ago
2008
Background: MicroRNAs (miRs) are small noncoding RNAs that bind to complementary/partially complementary sites in the 3' untranslated regions of target genes to regulate prot...
164
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Planetary surface exploration rovers must accurately and efficiently predict their mobility on natural, rough terrain. Most approaches to mobility prediction assume precise a p...
162
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
We present a tool for interactive exploration of graphs that integrates advanced graph mining methods in an interactive visualization framework. The tool enables efficient explorat...
167
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose the localized adaptive QoS routing scheme using POMDP(partially observable Markov Decision Processes) and Exploration Bonus. In order to deal with POMDP p...