1246 search results - page 212 / 250 » Recursive Timed Automata |
128
click to vote
AAAI
2012
13 years 4 months ago
2012
We consider symbolic dynamic programming (SDP) for solving Markov Decision Processes (MDP) with factored state and action spaces, where both states and actions are described by se...
116
click to vote
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
The problem of tracking involves challenges like in-plane and out-of-plane rotations, scaling, variations in ambient light and occlusions. In this paper we look at the problem of ...
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
A novel and very simple correct-by-construction top-down methodology for high-utilization mixed-size placement is presented. The PolarBear algorithm combines recursive cutsize-dri...
125
click to vote
VISUALIZATION
1997
IEEE
15 years 6 months ago
1997
IEEE
Recursive subdivision schemes have been extensively used in computer graphics and scientific visualization for modeling smooth surfaces of arbitrary topology. Recursive subdivisi...
105
Voted
MICAI
2000
Springer
15 years 5 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...