Sciweavers

2314 search results - page 375 / 463
» What is a Model
Sort
View
112
Voted
ANNPR
2008
Springer
15 years 2 months ago
Combining Methods for Dynamic Multiple Classifier Systems
Most of what we know about multiple classifier systems is based on empirical findings, rather than theoretical results. Although there exist some theoretical results for simple and...
Amber Tomas
93
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
108
Voted
AIIA
2007
Springer
15 years 2 months ago
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
Roberto Micalizio, Pietro Torasso
EUROCRYPT
2008
Springer
15 years 2 months ago
Security/Efficiency Tradeoffs for Permutation-Based Hashing
We provide attacks and analysis that capture a tradeoff, in the ideal-permutation model, between the speed of a permutation-based hash function and its potential security. For coll...
Phillip Rogaway, John P. Steinberger
93
Voted
EWRL
2008
15 years 2 months ago
Optimistic Planning of Deterministic Systems
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...
Jean-François Hren, Rémi Munos