3317 search results - page 486 / 664 » Strategies in Rigid-Variable Methods |
173
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
161
click to vote
COLING
2008
15 years 8 months ago
2008
This paper studies three techniques that improve the quality of N-best hypotheses through additional regeneration process. Unlike the multi-system consensus approach where multipl...
172
click to vote
HCI
2007
15 years 8 months ago
2007
The human face plays a central role in most forms of natural human interaction so we may expect that computational methods for analysis of facial information and graphical and robo...
166
click to vote
NIPS
2007
15 years 8 months ago
2007
Rare category detection is an open challenge for active learning, especially in the de-novo case (no labeled examples), but of significant practical importance for data mining - ...
150
click to vote
AAAI
2004
15 years 8 months ago
2004
Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user o...