8828 search results - page 1183 / 1766 » Formal methods in practice |
191
Voted
ACL
2008
15 years 8 months ago
2008
We extend the classical single-task active learning (AL) approach. In the multi-task active learning (MTAL) paradigm, we select examples for several annotation tasks rather than f...
189
click to vote
ALENEX
2007
15 years 8 months ago
2007
Inverted index data structures are the key to fast search engines. The predominant operation on inverted indices asks for intersecting two sorted lists of document IDs which might...
193
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Abstract. Having good estimates or even bounds for the error in computing approximations to expressions of the form f(A)v is very important in practical applications. In this paper...
191
click to vote
ESANN
2008
15 years 8 months ago
2008
With the technical development of multi-electrode arrays, the monitoring of many individual neurons has become feasible. However, for practical use of those arrays as bidirectional...
165
click to vote
FECS
2008
15 years 8 months ago
2008
We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. The se...