Sciweavers

16666 search results - page 39 / 3334
» Descriptive and Computational Complexity
Sort
View
LICS
2008
IEEE
15 years 10 months ago
The Quest for a Logic Capturing PTIME
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
Martin Grohe
88
Voted
COMPUTER
2010
65views more  COMPUTER 2010»
15 years 3 months ago
Evolving Software Architecture Descriptions of Critical Systems
Tom Mens, Jeff Magee, Bernhard Rumpe
143
Voted
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 3 months ago
Changing Levels of Description in a Fluid Flow Simulation
We described here our perception of complex systems, of how we feel the different layers of description are an important part of a correct complex system simulation. We described ...
Pierrick Tranouez, Cyrille Bertelle, Damien Olivie...
145
Voted
TIT
1998
123views more  TIT 1998»
15 years 3 months ago
The Minimum Description Length Principle in Coding and Modeling
—We review the principles of Minimum Description Length and Stochastic Complexity as used in data compression and statistical modeling. Stochastic complexity is formulated as the...
Andrew R. Barron, Jorma Rissanen, Bin Yu