4345 search results - page 174 / 869 » Temporal Constraint Networks |
141
Voted
JSAT
2006
15 years 4 months ago
2006
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
149
click to vote
ICWSM
2010
15 years 6 months ago
2010
The spread of influence among individuals in a social network can be naturally modeled in a probabilistic framework, but it is challenging to reason about differences between vari...
135
click to vote
CI
1998
15 years 4 months ago
1998
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...
124
click to vote
NSDI
2007
15 years 7 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...
125
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents an experimental evaluation of a brake-by-wire application that tolerates transient faults by temporal error masking. A specially designed real-time kernel that...