1999 search results - page 250 / 400 » Dependently Typed Grammars |
139
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
169
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...
190
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 ...
168
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...