6800 search results - page 1009 / 1360 » Testing with Functions as Specifications |
162
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
139
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...
196
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
The increasingly large amount of digital multimedia content has created a need for technologies to search and identify multimedia files. Multimedia fingerprinting has been widely ...
172
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we propose an Active Learning (AL) framework for the Multi-Task Adaptive Filtering (MTAF) problem. Specifically, we explore AL approaches to rapidly improve an MTAF...
179
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
This paper proposes an approach for the automatic recognition of roles in settings like news and talk-shows, where roles correspond to specific functions like Anchorman, Guest or ...