Sciweavers

1361 search results - page 75 / 273
» Simulation for recurring decisions
Sort
View
CORR
2010
Springer
54views Education» more  CORR 2010»
14 years 10 months ago
Development of a Cargo Screening Process Simulator: A First Approach
The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provi...
Peer-Olaf Siebers, Galina Sherman, Uwe Aickelin
ANSS
2004
IEEE
15 years 1 months ago
Markov Model Based Congestion Control for TCP
The Random Early Detection (RED) scheme for congestion control in TCP is well known over a decade. Due to a number of control parameters in RED, it cannot make acceptable packet-d...
Shan Suthaharan
AMAI
2005
Springer
14 years 9 months ago
Resolution cannot polynomially simulate compressed-BFS
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...
DoRon B. Motter, Jarrod A. Roy, Igor L. Markov
IACR
2011
84views more  IACR 2011»
13 years 9 months ago
Tools for Simulating Features of Composite Order Bilinear Groups in the Prime Order Setting
In this paper, we explore a general methodology for converting composite order pairingbased cryptosystems into the prime order setting. We employ the dual pairing vector space app...
Allison B. Lewko
ICCBR
2005
Springer
15 years 3 months ago
Evaluating Case-Based Systems in Virtual Games
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...
Keith Needels, Matthew Molineaux, David W. Aha