Sciweavers

328 search results - page 27 / 66
» aaai 2008
Sort
View
AAAI
2008
14 years 2 days ago
Video Activity Recognition in the Real World
With recent advances in motion detection and tracking in video, more efforts are being directed at higher-level video analysis such as recognizing actions, events and activities. ...
Anthony Hoogs, A. G. Amitha Perera
AAAI
2008
13 years 11 months ago
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...
Fangzhen Lin, Pingzhong Tang
AAAI
2008
14 years 2 days ago
Incremental Algorithms for Approximate Compilation
Compilation is an important approach to a range of inference problems, since it enables linear-time inference in the size S of the compiled representation. However, the main drawb...
Alberto Venturini, Gregory M. Provan
AAAI
2008
14 years 2 days ago
Automatic Semantic Relation Extraction with Multiple Boundary Generation
This paper addresses the task of automatic classification of semantic relations between nouns. We present an improved WordNet-based learning model which relies on the semantic inf...
Brandon Beamer, Alla Rozovskaya, Roxana Girju
AAAI
2008
14 years 2 days ago
On the Power of Top-Down Branching Heuristics
We study the relative best-case performance of DPLL-based structure-aware SAT solvers in terms of the power of the underlying proof systems. The systems result from (i) varying th...
Matti Järvisalo, Tommi A. Junttila