1931 search results - page 129 / 387 » Why we blog |
170
click to vote
AIPS
2006
15 years 8 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
150
click to vote
CCCG
2006
15 years 8 months ago
2006
In this paper we study various predicates concerning line transversals to lines and segments in 3D. We compute the degrees of standard methods of evaluating these predicates. The ...
179
click to vote
HIS
2004
15 years 8 months ago
2004
Many researchers have observed that neurons process information in an imprecise manner - if a logical inference emerges from neural computation, it is inexact at best. Thus, there...
118
click to vote
SCS
2003
15 years 7 months ago
2003
We perform a Why-Because Analysis (WBA) starting from the information in the Executive Summary of the U.S. DoD Aircraft Accident Investigation Board report on the shootdown of two ...
218
click to vote
SEC
2003
15 years 7 months ago
2003
In this paper, we describe why current research in ad hoc networks requires an effective assessment framework, and how our system profile proposal can be used for the purpose. W...