506 search results - page 45 / 102 » Constructor-based observational logic |
101
Voted
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
─ Error tolerance formally captures the notion that – for a wide variety of applications including audio, video, graphics, and wireless communications – a defective chip that...
100
Voted
AICOM
2006
15 years 20 days ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
152
Voted
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
94
Voted
PADS
1998
ACM
15 years 4 months ago
1998
ACM
A considerable amount of effort in the DIS community has been devoted to developing efficient, scaleable, mechanisms for distributing state updates and interaction information in ...
108
click to vote
AAAI
1996
15 years 1 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...