Sciweavers

1382 search results - page 94 / 277
» Procedural Generation of Roads
Sort
View
ICCBR
2005
Springer
15 years 3 months ago
Transfer in Visual Case-Based Problem Solving
We present a computational model of case-based visual problem solving. The Galatea model and the two experimental participants modeled in it show that 1) visual knowledge is suffic...
Jim Davies, Ashok K. Goel, Nancy J. Nersessian
ISCAS
2002
IEEE
94views Hardware» more  ISCAS 2002»
15 years 2 months ago
Minimum power broadcast trees for wireless networks: optimizing using the viability lemma
Wireless multicast/broadcast sessions, unlike wired networks, inherently reaches several nodes with a single transmission. For omnidirectional wireless broadcast to a node, all no...
Robert J. Marks II, Arindam Kumar Das, Mohamed A. ...
RR
2009
Springer
15 years 2 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
CADE
1990
Springer
15 years 2 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore
APNOMS
2006
Springer
15 years 1 months ago
Proposal of Operation Method for Application Servers on NGN Using Unified Management Environment
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
Atsushi Yoshida, Yu Miyoshi, Yoshihiro Otsuka