1458 search results - page 50 / 292 » The sequentially realizable functionals |
83
Voted
MLQ
1998
15 years 2 months ago
1998
This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of ...
114
Voted
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
128
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We propose a sequential Monte Carlo data association algorithm based on a two-level computational framework for tracking varying number of interacting objects in dynamic scene. Fi...
108
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare....
138
click to vote
JAIR
2008
15 years 2 months ago
2008
Decision-theoretic planning is a popular approach to sequential decision making problems, because it treats uncertainty in sensing and acting in a principled way. In single-agent ...