5064 search results - page 268 / 1013 » Recent Developments in Gridsolve |
164
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Recent work has led to the development of an elegant theory of Linearly Solvable Markov Decision Processes (LMDPs) and related Path-Integral Control Problems. Traditionally, LMDPs...
190
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
169
click to vote
WWCA
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Recently, component-based application developments to improve the software productivity and reusability have attracted our attention. The components are parts for buildin...
163
click to vote
JSS
2002
15 years 6 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
164
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
In recent years, various constrained frequent pattern mining problem formulations and associated algorithms have been developed that enable the user to specify various itemsetbase...