Sciweavers

11017 search results - page 311 / 2204
» Closure Systems and their Structure
Sort
View
BIOINFORMATICS
2007
83views more  BIOINFORMATICS 2007»
15 years 6 months ago
Exploring biological network structure using exponential random graph models
Motivation: The functioning of biological networks depends in large part on their complex underlying structure. When studying their systemic nature many modeling approaches focus ...
Zachary M. Saul, Vladimir Filkov
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
15 years 6 months ago
Constraint Programming in Structural Bioinformatics
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
Pedro Barahona, Ludwig Krippahl
JLP
2006
81views more  JLP 2006»
15 years 6 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
CI
2000
134views more  CI 2000»
15 years 6 months ago
Choosing Rhetorical Structures to Plan Instructional Texts
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
Leila Kosseim, Guy Lapalme
ALIFE
1999
15 years 5 months ago
A New Structurally Dissolvable Self-Reproducing Loop Evolving in a Simple Cellular Automata Space
tion, structural dissolutionAbstract We constructed a simple evolutionary system, "evoloop," on a deterministic nine-state five-neighbor cellular automata (CA) space by i...
Hiroki Sayama