655 search results - page 14 / 131 » Contrasting the Contrast Sets: An Alternative Approach |
CIIA
2009
13 years 8 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...
AAAI
2008
13 years 10 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...
ACIVS
2009
Springer
13 years 11 months 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
13 years 11 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
13 years 9 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 ...