Sciweavers

735 search results - page 111 / 147
» Procedural Modeling of Interconnected Structures
Sort
View
ESM
2000
13 years 10 months ago
A tool for controlled knowledge discovery in spatial domains
A data simulator that can facilitate the development of improved sampling and analysis procedures for spatial analysis is proposed. The simulator, implemented in MATLAB, provides ...
Dragoljub Pokrajac, Zoran Obradovic, Tim Fiez
CORR
2010
Springer
135views Education» more  CORR 2010»
13 years 8 months ago
Bounded Rationality, Strategy Simplification, and Equilibrium
It is frequently suggested that predictions made by game theory could be improved by considering computational restrictions when modeling agents. Under the supposition that player...
Hubie Chen
CORR
2010
Springer
136views Education» more  CORR 2010»
13 years 8 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
JMLR
2006
103views more  JMLR 2006»
13 years 8 months ago
A Graphical Representation of Equivalence Classes of AMP Chain Graphs
This paper deals with chain graph models under alternative AMP interpretation. A new representative of an AMP Markov equivalence class, called the largest deflagged graph, is prop...
Alberto Roverato, Milan Studený
LPAR
2010
Springer
13 years 7 months ago
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
Konstantin Korovin, Christoph Sticksel