655 search results - page 14 / 131 » Contrasting the Contrast Sets: An Alternative Approach |
94
Voted
CIIA
2009
14 years 10 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
67
Voted
AAAI
2008
14 years 12 months ago
2008
One way for agents to reach a joint decision is to vote over the alternatives. In open, anonymous settings such as the Internet, an agent can vote more than once without being det...
99
Voted
ACIVS
2009
Springer
15 years 26 days ago
2009
Springer
The temporal segmentation of a video into shots is a fundamental prerequisite for video retrieval. There are two types of shot boundaries: abrupt shot changes (“cuts”) and grad...
ECML
2007
Springer
15 years 1 months ago
2007
Springer
We consider the problem of ordinal classification, in which a value set of the decision attribute (output, dependent variable) is finite and ordered. This problem shares some chara...
AAAI
2010
14 years 11 months ago
2010
Decentralized agent groups typically require complex mechanisms to accomplish coordinated tasks. In contrast, biological systems can achieve intelligent group behaviors with each ...