1036 search results - page 115 / 208 » Evaluating Mixed-Initiative Systems: An Experimental Approac... |
IJCAI
2001
15 years 21 days ago
2001
The progressive processing model allows a system to trade off resource consumption against the quality of the outcome by mapping each activity to a graph of potential solution met...
175
click to vote
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
101
Voted
MIR
2004
ACM
15 years 4 months ago
2004
ACM
Music and songs usually have repeating patterns and prominent structure. The automatic extraction of such repeating patterns and structure is useful for further music summarizatio...
AICCSA
2006
IEEE
15 years 1 months ago
2006
IEEE
In this paper we apply a machine learning approach to the problem of estimating the number of defects called Regression via Classification (RvC). RvC initially automatically discr...
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present the classification sub-system of a real-time video-based face identification system which recognizes people entering through the door of a laboratory. Si...