7121 search results - page 157 / 1425 » Functions as Session-Typed Processes |
126
click to vote
TSMC
2011
14 years 10 months ago
2011
—This paper introduces an algorithm for direct search of control policies in continuous-state discrete-action Markov decision processes. The algorithm looks for the best closed-l...
138
click to vote
NAR
2011
14 years 5 months ago
2011
GreenPhylDB is a database designed for comparative and functional genomics based on complete genomes. Version 2 now contains sixteen full genomes of members of the plantae kingdom...
117
click to vote
STOC
2005
ACM
16 years 3 months ago
2005
ACM
We consider the problem of computing market equilibria and show three results. (i) For exchange economies satisfying weak gross substitutability we analyze a simple discrete versi...
111
click to vote
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...
118
click to vote
SSS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...