Sciweavers

656 search results - page 31 / 132
» Brain Complexity: Analysis, Models and Limits of Understandi...
Sort
View
RE
2002
Springer
13 years 8 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
AUTOMATICA
2006
112views more  AUTOMATICA 2006»
13 years 8 months ago
Joint identification of plant rational models and noise distribution functions using binary-valued observations
System identification of plants with binary-valued output observations is of importance in understanding modeling capability and limitations for systems with limited sensor inform...
Le Yi Wang, Gang George Yin, Ji-Feng Zhang
CORR
2010
Springer
155views Education» more  CORR 2010»
13 years 3 months ago
A Complexity View of Markets with Social Influence
: In this paper, inspired by the work of Megiddo on the formation of preferences and strategic analysis, we consider an early market model studied in the field of economic theory, ...
Xi Chen, Shang-Hua Teng
EUROPAR
2009
Springer
14 years 3 months ago
Stochastic Analysis of Hierarchical Publish/Subscribe Systems
With the gradual adoption of publish/subscribe systems in mission critical areas, it is essential that systems are subjected to rigorous performance analysis before they are put in...
Gero Mühl, Arnd Schröter, Helge Parzyjeg...
ATAL
2000
Springer
14 years 1 months ago
Plan Analysis for Autonomous Sociological Agents
Abstract. This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind s...
Michael Luck, Mark d'Inverno