4962 search results - page 299 / 993 » Stochastic Model Checking |
159
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
145
Voted
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
Relational world models that can be learned from experience in stochastic domains have received significant attention recently. However, efficient planning using these models rema...
115
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— This paper provides a novel solution for robocentric mapping using an autonomous mobile robot. The robot dynamic model is the standard unicycle model and the robot is a...
125
click to vote
ISPAN
1999
IEEE
15 years 7 months ago
1999
IEEE
Current distributed parallel platforms can provide the resources required to execute a scientific application efficiently. However, when these platforms are shared by multiple use...
121
click to vote
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...