7121 search results - page 335 / 1425 » Functions as Session-Typed Processes |
174
click to vote
ISMIR
2004
Springer
16 years 1 days ago
2004
Springer
(150-200 words) The MIDI Toolbox is a compilation of functions for analyzing and visualizing MIDI files in the Matlab computing environment. In this article, the basic issues of th...
164
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
In the paper we demonstrate how evolutionary search for functional optima can be used as a vehicle for data mining. That is, in the process of searching for optima in a multi-dime...
168
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
129
click to vote
BTW
2009
Springer
15 years 10 months ago
2009
Springer
: BLINK is a prototype of an in-memory based query processor that exploits heavily the underlying CPU infrastructure. It is very sensitive to the processor’s caches and instructi...
162
click to vote
ACL
2006
15 years 8 months ago
2006
We introduce a new multi-threaded parsing algorithm on unification grammars designed specifically for multimodal interaction and noisy environments. By lifting some traditional co...