3221 search results - page 422 / 645 » Termination of Linear Programs |
160
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
175
click to vote
CN
2002
15 years 6 months ago
2002
Abstract-The delivery of large files to single users, such as application programs for some versions of the envisioned network computer, or movies, is expected by many to be one of...
190
click to vote
SIAMSC
2010
15 years 4 months ago
2010
A recursive acceleration method is proposed for multiplicative multilevel aggregation algorithms that calculate the stationary probability vector of large, sparse, and irreducible ...
192
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
148
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We propose human action detection based on a successive convex matching scheme. Human actions are represented as sequences of postures and specific actions are detected in video b...