1421 search results - page 50 / 285 » The First and Second Max-SAT Evaluations |
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
HCI
2009
13 years 5 months ago
2009
This paper reports on research carried out to determine the settled as well as other types of cultural markers including interface design elements and cultural dimensions that are ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper addresses the problem of speaker segmentation in two-speaker telephone conversations, using an eigenvoice based factor analysis approach. We present a set of improvemen...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
In this work, we present an extension of CORE [2], a tool for Collaborative Ontology Reuse and Evaluation. The system receives an informal description of a specific semantic domai...
CIVR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Scene structuring is a video analysis task for which no common evaluation procedures have been fully adopted. In this paper, we present a methodology to evaluate such tas...