Sciweavers

1090 search results - page 53 / 218
» Resource-Bounded Partial Evaluation
Sort
View
ICCV
2011
IEEE
13 years 9 months ago
Dynamic Manifold Warping for View Invariant Action Recognition
We address the problem of learning view-invariant 3D models of human motion from motion capture data, in order to recognize human actions from a monocular video sequence with arbi...
Dian Gong, Gerard Medioni
IJCAI
1993
14 years 11 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
ICDE
2009
IEEE
214views Database» more  ICDE 2009»
15 years 11 months ago
Ranking with Uncertain Scores
Large databases with uncertain information are becoming more common in many applications including data integration, location tracking, and Web search. In these applications, ranki...
Mohamed A. Soliman, Ihab F. Ilyas
LREC
2008
91views Education» more  LREC 2008»
14 years 11 months ago
Classification Procedures for Software Evaluation
We outline a methodological classification for evaluation approaches of software in general. This classification was initiated partly owing to involvement in a biennial European c...
Muriel Amar, Sophie David, Rachel Panckhurst, Lisa...
QEST
2009
IEEE
15 years 4 months ago
Mean-Field Analysis for the Evaluation of Gossip Protocols
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn ...