12841 search results - page 218 / 2569 » PL-detective: experiences and results |
206
click to vote
PTS
2000
15 years 8 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
164
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We report our experiences from participating to the controlled experiment of the ImageCLEF 2010 Wikipedia Retrieval task. We built an experimental search engine which com...
145
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
We investigate usefulness of across-phone variability for speaker recognition in a joint factor analysis (JFA) framework. We estimate the variability as across-phone covariance wi...
182
click to vote
IJVR
2008
15 years 6 months ago
2008
This research began with a preliminary exploratory study that observed the relationship between the facial expressions of three human lecturers in a real academic lecture theatre a...
147
click to vote
PVLDB
2008
15 years 6 months ago
2008
Online-Analytical Processing (OLAP) has been a field of competing technologies for the past ten years. One of the still unsolved challenges of OLAP is how to provide quick respons...