7121 search results - page 71 / 1425 » Functions as Session-Typed Processes |
105
click to vote
ICIP
2005
IEEE
16 years 4 months ago
2005
IEEE
A method for representation and lossy compression of textured surfaces is presented. The input surfaces are represented by surfels (surface elements), i.e., by a set of colored, o...
ICANN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper introduces the notion of the variadic neural network (VNN). The inputs to a variadic network are an arbitrary-length list of n-tuples of real numbers, where n ...
SE
2007
15 years 3 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
104
click to vote
NIPS
2004
15 years 3 months ago
2004
We investigate an approach for simultaneously committing to multiple activities, each modeled as a temporally extended action in a semi-Markov decision process (SMDP). For each ac...
114
click to vote
SIAMNUM
2010
14 years 9 months ago
2010
Abstract. A variational problem characterizing the density estimator defined by the maximum a posteriori method with Gaussian process priors is derived. It is shown that this probl...