Sciweavers

308 search results - page 12 / 62
» Towards memoryless model building
Sort
View
OMER
2001
15 years 1 months ago
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
Holger Giese, Ulrich Nickel
IWFM
2003
172views Formal Methods» more  IWFM 2003»
15 years 1 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
PCI
2001
Springer
15 years 4 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
MICCAI
2003
Springer
16 years 19 days ago
Establishing Local Correspondences towards Compact Representations of Anatomical Structures
Computer-aided diagnosis is often based on comparing a structure of interest with prior models. Such a comparison requires automatic techniques in determining prior models from a s...
Xiaolei Huang, Nikos Paragios, Dimitris N. Metaxas
ICARIS
2004
Springer
15 years 5 months ago
Towards a Conceptual Framework for Artificial Immune Systems
We propose that bio-inspired algorithms are best developed and analysed in the context of a multidisciplinary conceptual framework that provides for sophisticated biological models...
Susan Stepney, Robert E. Smith, Jonathan Timmis, A...