Sciweavers

41938 search results - page 434 / 8388
» Complex Systems Modeling
Sort
View
166
Voted
ECCC
2010
95views more  ECCC 2010»
15 years 4 months ago
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj
Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, ...
TSMC
2010
15 years 1 months ago
Contrasting Views of Complexity and Their Implications For Network-Centric Infrastructures
There exists a widely recognized need to better understand and manage complex "systems of systems," ranging from biology, ecology, and medicine to network-centric technol...
David L. Alderson, John C. Doyle
FCT
2005
Springer
16 years 10 days ago
The Complexity of Querying External Memory and Streaming Data
We review a recently introduced computation model for streaming and external memory data. An important feature of this model is that it distinguishes between sequentially reading (...
Martin Grohe, Christoph Koch, Nicole Schweikardt
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
15 years 10 months ago
VHDL quality: synthesizability, complexity and efficiency evaluation
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
M. Mastretti
ECAI
2008
Springer
15 years 8 months ago
Infection-Based Norm Emergence in Multi-Agent Complex Networks
We propose a computational model that facilitates agents in a MAS to collaboratively evolve their norms to reach the best norm conventions. Our approach borrows from the social con...
Norman Salazar, Juan A. Rodríguez-Aguilar, ...