56 search results - page 7 / 12 » On the connections between PCTL and dynamic programming |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
CMMR
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...
WAC
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...