Sciweavers

1937 search results - page 215 / 388
» Rule Based Updates on Simple Knowledge Bases
Sort
View
IJCAI
1993
15 years 5 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill
GIS
2002
ACM
15 years 4 months ago
Calibration of stochastic cellular automata: the application to rural-urban land conversions
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
Fulong Wu
ANCS
2009
ACM
15 years 2 months ago
Design and performance analysis of a DRAM-based statistics counter array architecture
The problem of maintaining efficiently a large number (say millions) of statistics counters that need to be updated at very high speeds (e.g. 40 Gb/s) has received considerable re...
Haiquan (Chuck) Zhao, Hao Wang, Bill Lin, Jun (Jim...
BIBE
2007
IEEE
214views Bioinformatics» more  BIBE 2007»
15 years 10 months ago
Histogram Transformation for Inter-Modality Image Registration
Abstract—This paper describes an efficient image transformation method based on histogram information and some prior knowledge of tissue expression in different modalities for r...
Joerg Meyer
LPNMR
2007
Springer
15 years 10 months ago
An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
Edgardo Ferretti, Marcelo Errecalde, Alejandro Jav...