Sciweavers

4488 search results - page 218 / 898
» Properties of NP-Complete Sets
Sort
View
LPNMR
2009
Springer
16 years 10 days ago
Simple Random Logic Programs
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
Gayathri Namasivayam, Miroslaw Truszczynski
CDC
2008
IEEE
16 years 8 days ago
A Partial order approach to decentralized control
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
Parikshit Shah, Pablo A. Parrilo
WINE
2007
Springer
96views Economy» more  WINE 2007»
15 years 12 months ago
PageRank as a Weak Tournament Solution
We observe that ranking systems—a theoretical framework for web page ranking and collaborative filtering introduced by Altman and Tennenholtz—and tournament solutions—a well...
Felix Brandt, Felix A. Fischer
ICMCS
2005
IEEE
103views Multimedia» more  ICMCS 2005»
15 years 11 months ago
Embedded Key-Frame Extraction for CG Animation by Frame Decimation
This paper proposes a method for key-frame selection of captured motion data. In many cases, it is desirable to obtain a compact representation of the human motion. Key-framing is...
Shiyu Li, Masahiro Okuda, Shinichi Takahashi
CAV
2005
Springer
122views Hardware» more  CAV 2005»
15 years 11 months ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan