Sciweavers

2314 search results - page 278 / 463
» What is a Model
Sort
View
ICIP
1999
IEEE
15 years 9 months ago
The Shape of Illusory Figures
We have been developing a stochastic model for figure-ground separation[9][3][12]. The model selects/constructs theforeground with preferenceforfigures with "moreconvex"...
Davi Geiger, Krishnan Kumaran, Hsing-Kuo Pao, Nava...
ECAI
1998
Springer
15 years 9 months ago
Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis
An experiment was conducted in order to evaluate what normative framework is pertinent for dealing with confidence judgements in human experts. 24 films were shown to 4 experimente...
Eric Raufaste, Rui Da Silva Neves
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 9 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
FMCAD
2004
Springer
15 years 8 months ago
A Simple Method for Parameterized Verification of Cache Coherence Protocols
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon P...
GECCO
2006
Springer
138views Optimization» more  GECCO 2006»
15 years 8 months ago
Does overfitting affect performance in estimation of distribution algorithms
Estimation of Distribution Algorithms (EDAs) are a class of evolutionary algorithms that use machine learning techniques to solve optimization problems. Machine learning is used t...
Hao Wu, Jonathan L. Shapiro