Sciweavers

3406 search results - page 483 / 682
» Computational models of classical conditioning
Sort
View
ICVS
2003
Springer
15 years 10 months ago
Tree Supported Road Extraction from Arial Images Using Global and Local Context Knowledge
The quality control and update of geo-data, in this case especially of road-data, is the primary aim of the system, which is presented in the paper. One important task of the syste...
Matthias Butenuth, Bernd-Michael Straub, Christian...
ANSS
2002
IEEE
15 years 10 months ago
Temporal Uncertainty Time Warp: An Agent-Based Implementation
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...
Roberto Beraldi, Libero Nigro, Antonino Orlando, F...
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 10 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
121
Voted
CVPR
2000
IEEE
15 years 10 months ago
Matching Images with Different Resolutions
In this paper we address the problem of matching two images with two different resolutions: a high-resolution image and a low-resolution one. On the premise that changes in resolu...
Yves Dufournaud, Cordelia Schmid, Radu Horaud
CIA
2006
Springer
15 years 9 months ago
Multilevel Approach to Agent-Based Task Allocation in Transportation
We present a hybrid algorithm for distributed task allocation problem in a cooperative logistics domain. Our approach aims to achieve superior computational performance by combinin...
Martin Rehák, Premysl Volf, Michal Pechouce...