4211 search results - page 223 / 843 » Types as Abstract Interpretations |
130
Voted
LREC
2010
15 years 6 months ago
2010
A new type of language resource 'BAStat' has been released by the Bavarian Archive for Speech Signals. In contrast to primary resources like speech and text corpora BASt...
119
Voted
TREC
2001
15 years 6 months ago
2001
The core of our question-answering mechanism is searching for predefined patterns of textual expressions that may be interpreted as answers to certain types of questions. The pres...
125
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
162
Voted
ENTCS
2008
15 years 5 months ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
164
Voted
TIP
2010
14 years 11 months ago
2010
Imaging plays an important role in experimental fluid dynamics. It is equally important both for scientific research and a range of industrial applications. It is known, however, t...