3446 search results - page 394 / 690 » A Reasoning Algorithm for pD* |
184
click to vote
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
129
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...
149
click to vote
ISMIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...
184
Voted
PCI
2005
Springer
16 years 6 days ago
2005
Springer
The increasing popularity of all-optical networks has led to extensive research on the routing and wavelength assignment problem, also termed as the Routing and Path Coloring probl...
147
click to vote
PKDD
2005
Springer
16 years 6 days ago
2005
Springer
Imbalanced data learning has recently begun to receive much attention from research and industrial communities as traditional machine learners no longer give satisfactory results. ...