41938 search results - page 257 / 8388 » Complex Systems Modeling |
156
click to vote
MFCS
2005
Springer
16 years 1 days ago
2005
Springer
This paper analyses the computational complexity of the model checking problem for Higher Order Fixpoint Logic – the modal µ-calculus enriched with a typed λ-calculus. It is ha...
150
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the computational complexity of scalable video decoding using emerging scalable extension of H.264/AVC (SVC) standard compliant decoder. Scalable functionalit...
204
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. This paper describes the construction of 3D dynamic statistical deformable models for complex topological shapes. It significantly extents the existing framework in that ...
148
click to vote
CCE
2004
15 years 6 months ago
2004
This paper describes an optimization procedure for the synthesis of complex distillation configurations. A superstructure based on the Reversible Distillation Sequence Model (RDSM...
174
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...