7121 search results - page 71 / 1425 » Functions as Session-Typed Processes |
ICIP
2005
IEEE
14 years 12 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
14 years 4 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
13 years 11 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...
NIPS
2004
13 years 11 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...
SIAMNUM
2010
13 years 4 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...