Sciweavers

297 search results - page 33 / 60
» Emergent properties of referral systems
Sort
View
GI
2009
Springer
14 years 6 days ago
Taming Selective Strictness
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
Daniel Seidel, Janis Voigtländer
FOSSACS
2006
Springer
13 years 11 months ago
A Finite Model Construction for Coalgebraic Modal Logic
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
Lutz Schröder
CCR
2008
86views more  CCR 2008»
13 years 7 months ago
An Integrated Model of Traffic, Geography and Economy in the Internet
Modeling Internet growth is important both for understanding the current network and to predict and improve its future. To date, Internet models have typically attempted to explai...
Petter Holme, Josh Karlin, Stephanie Forrest
AUTOMATICA
2002
91views more  AUTOMATICA 2002»
13 years 7 months ago
Closed-loop identification with an unstable or nonminimum phase controller
In many practical cases, the identification of a system is done in closed loop with some controller. In this paper, we show that the internal stability of the resulting model, in ...
Benoît Codrons, Brian D. O. Anderson, Michel...
SAC
2002
ACM
13 years 7 months ago
Simulating evolutionary agent communities with OOCSMP
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
Manuel Alfonseca, Juan de Lara