2278 search results - page 314 / 456 » Markov logic networks |
223
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
201
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present Propagation Networks (P-Nets), a novel approach for representing and recognizing sequential activities that include parallel streams of action. We represent each activi...
160
click to vote
ISCAS
2007
IEEE
16 years 20 days ago
2007
IEEE
— Fast addition and multiplication are of paramount importance in many arithmetic circuits and processors. The use of redundant number system for efficient implementation of thes...
146
click to vote
ICDE
2006
IEEE
16 years 13 days ago
2006
IEEE
XPORT (eXtensible Profile-driven Overlay Routing Trees) is a generic data dissemination system that supports an extensible set of data types and profiles, and an optimization fr...
154
click to vote
SRDS
2005
IEEE
15 years 12 months ago
2005
IEEE
We present an algorithm by which nodes arranged in a tree, with each node initially knowing only its parent and children, can construct a fault-tolerant communication structure (a...