Sciweavers

4767 search results - page 285 / 954
» Structures for Abstract Rewriting
Sort
View
FMSB
2008
138views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
ESANN
2008
15 years 8 months ago
Self-Organizing Maps for cyclic and unbounded graphs
Abstract. This paper introduces a new concept to the processing of graph structured information using self organising map framework. Previous approaches to this problem were limite...
Markus Hagenbuchner, Alessandro Sperduti, Ah Chung...
COMMA
2006
15 years 8 months ago
First Steps Towards the Automatic Construction of Argument-Diagrams from Real Discussions
Abstract. This paper presents our efforts to create argument structures from meeting transcripts automatically. We show that unit labels of argument diagrams can be learnt and pred...
Daan Verbree, Rutger Rienks, Dirk Heylen
ERSA
2006
76views Hardware» more  ERSA 2006»
15 years 8 months ago
Logic Synthesis and Place-and-Route Environment for ORGAs
Abstract-- We have continued development of Optically Reconfigurable Gate Arrays (ORGAs) to realize larger virtual gate count VLSIs than currently available VLSIs. The grain and st...
Minoru Watanabe, Fuminori Kobayashi
DAGSTUHL
2003
15 years 8 months ago
On Feature Orientation and on Requirements Encapsulation Using Families of Requirements
Abstract. Naive feature orientation runs into problems with large software systems, such as telephone switching systems. With naive feature orientation, a feature extends a base sy...
Jan Bredereke