3446 search results - page 477 / 690 » A Reasoning Algorithm for pD* |
178
click to vote
JAR
2010
15 years 19 days ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
164
click to vote
TCOM
2010
15 years 17 days ago
2010
In this paper, we propose a new implementation of the Extended Min-Sum (EMS) decoder for non-binary LDPC codes. A particularity of the new algorithm is that it takes into accounts...
174
click to vote
TSP
2010
15 years 16 days ago
2010
Abstract--In this paper, we deal with the problem of constrained code optimization for radar space-time adaptive processing (STAP) in the presence of colored Gaussian disturbance. ...
241
click to vote
ICDE
2011
IEEE
14 years 9 months ago
2011
IEEE
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...
260
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...