Sciweavers

2701 search results - page 202 / 541
» On the form of witness terms
Sort
View
GLOBECOM
2009
IEEE
15 years 4 months ago
Impact of Asymmetric Routing on Statistical Traffic Classification
Statistical traffic classification techniques are often developed under the assumption that monitoring devices can observe the two half-flows composing each traffic session. Howeve...
Manuel Crotti, Francesco Gringoli, Luca Salgarelli
JAR
2010
95views more  JAR 2010»
15 years 1 months ago
Equivariant Unification
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
James Cheney
TIT
2010
113views Education» more  TIT 2010»
15 years 1 months ago
Asynchronous CDMA systems with random spreading-part II: design criteria
Totally asynchronous code-division multiple-access (CDMA) systems are addressed. In part I, the fundamental limits of asynchronous CDMA systems were analyzed in terms of total cap...
Laura Cottatellucci, Ralf R. Müller, Mé...
WWW
2004
ACM
16 years 7 months ago
ResEval: a web-based evaluation system for internal medicine house staff
The evaluation and assessment of physicians-in-training (house staff) is a complex task. Residency training programs are under increasing pressure [1] to provide accurate and comp...
Henry J. Feldman, Marc M. Triola
GECCO
2007
Springer
178views Optimization» more  GECCO 2007»
16 years 23 days ago
Coevolution of intelligent agents using cartesian genetic programming
A coevolutionary competitive learning environment for two antagonistic agents is presented. The agents are controlled by a new kind of computational network based on a compartment...
Gul Muhammad Khan, Julian Francis Miller, David M....