1982 search results - page 246 / 397 » Parametricity and dependent types |
167
click to vote
PUC
2010
15 years 4 months ago
2010
We propose and investigate a paradigm for activity recognition, distinguishing the ‘on-going activity’ recognition task (OGA) from that addressing ‘complete activities’ (C...
174
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
188
click to vote
DIS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we aim at automatically adjusting the difficulty of computer games by clustering players into different types and supervised prediction of the type from short traces ...
165
click to vote
IGARSS
2009
15 years 4 months ago
2009
This paper shows that a feedforward Multilayer Perceptron (MLP) operating over a temporal sliding window of multispectral time series MODerate-resolution Imaging Spectroradiometer...
133
click to vote
JMLR
2010
15 years 1 months ago
2010
Classification problems with a very large or unbounded set of output categories are common in many areas such as natural language and image processing. In order to improve accurac...