Sciweavers

445 search results - page 74 / 89
» Classifying model-theoretic properties
Sort
View
DLT
2009
13 years 7 months ago
Closures in Formal Languages and Kuratowski's Theorem
A famous theorem of Kuratowski states that, in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a gi...
Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit
ICMCS
2009
IEEE
133views Multimedia» more  ICMCS 2009»
13 years 7 months ago
View indepedent human movement recognition from multi-view video exploiting a circular invariant posture representation
In this paper a novel method for view independent human movement representation and recognition, exploiting the rich information contained in multi-view videos, is proposed. The bi...
Nikolaos Gkalelis, Nikos Nikolaidis, Ioannis Pitas
CVPR
2011
IEEE
13 years 6 months ago
Learning Message-Passing Inference Machines for Structured Prediction
Nearly every structured prediction problem in computer vision requires approximate inference due to large and complex dependencies among output labels. While graphical models prov...
Stephane Ross, Daniel Munoz, J. Andrew Bagnell
CORR
2011
Springer
160views Education» more  CORR 2011»
13 years 4 months ago
When is social computation better than the sum of its parts?
good solutions to complex problems. In many examples, individuals trying to solve superior global solution. This suggests that there may be general principles of information aggre...
Vadas Gintautas, Aric A. Hagberg, Luís M. A...
NAR
2010
107views more  NAR 2010»
13 years 4 months ago
FlyTF: improved annotation and enhanced functionality of the Drosophila transcription factor database
FlyTF (http://www.flytf.org) is a database of computationally predicted and/or experimentally verified site-specific transcription factors (TFs) in the fruit fly Drosophila melano...
Ulrike Pfreundt, Daniel P. James, Susan Tweedie, D...