937 search results - page 88 / 188 » On the Complexity of Partial Order Properties |
151
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Despite the recent advances in planning with MDPs, the problem of generating good policies is still hard. This paper describes a way to generate policies in MDPs by (1) determiniz...
160
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
A center-transversal line for two finite point sets in R3 is a line with the property that any closed halfspace that contains it also contains at least one third of each point set...
139
click to vote
ICRA
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...
280
click to vote
ICCABS
2011
14 years 9 months ago
2011
—Research efforts to analyze biomolecular properties contribute towards our understanding of biomolecular function. Calculating non-bonded forces (or in our case, electrostatic s...
151
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...