Sciweavers

10061 search results - page 554 / 2013
» Statistical Models of Conditioning
Sort
View
ICANN
2003
Springer
16 years 19 days ago
Application of Vision Models to Traffic Sign Recognition
A system for traffic sign recognition has been developed. Both colour and shape information from signs are utilised for extraction of features. Colour appearance model CIECAM97 has...
X. W. Gao, L. Podladchikova, D. Shaposhnikov
ICALP
1997
Springer
15 years 11 months ago
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
Olaf Burkart, Bernhard Steffen
EPIA
1995
Springer
15 years 11 months ago
A Model Theory for Paraconsistent Logic Programming
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
Carlos Viegas Damásio, Luís Moniz Pe...
ESANN
2008
15 years 9 months ago
Using graph-theoretic measures to predict the performance of associative memory models
We test a selection of associative memory models built with different connection strategies, exploring the relationship between the structural properties of each network and its pa...
Lee Calcraft, Rod Adams, Weiliang Chen, Neil Davey
ECIS
2000
15 years 8 months ago
An Intelligent Interactive Knowledge Model for Decision Support in Real-Time Traffic Management
This paper proposes the use of advanced knowledge models to support real time decision for management problems as an adequate response to the current needs and technology. The new ...
Josefa Z. Hernández, Juan Manuel Serrano