2362 search results - page 211 / 473 » Programming in Standard ML |
104
click to vote
MM
2010
ACM
15 years 2 months ago
2010
ACM
Sonic Visualiser is a friendly and flexible end-user desktop application for analysis, visualisation, and annotation of music audio files. Its stated goal is to be “the first...
115
click to vote
PTS
2010
15 years 2 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
170
click to vote
PPSN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
154
click to vote
ACL
2009
15 years 2 months ago
2009
In this paper, we investigate an approach for creating a comprehensive textual overview of a subject composed of information drawn from the Internet. We use the high-level structu...
274
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...