1724 search results - page 99 / 345 » Abstract Interpreters for Free |
126
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a novel semantic-oriented video analysis system for the basketball game videos. Based on Bayesian Belief Network (BBN), it may bridge this gap between the low-...
162
Voted
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
155
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
138
click to vote
IJCAI
1989
15 years 6 months ago
1989
This paper describes SYNAPSIS, a parser for performing real-time understanding of spoken utterances in a parallel computational environment. Understanding continuous speech allowi...
116
Voted
ICML
2010
IEEE
15 years 6 months ago
2010
IEEE
Optimization problems with a nuclear norm regularization, such as e.g. low norm matrix factorizations, have seen many applications recently. We propose a new approximation algorit...