Sciweavers

8816 search results - page 26 / 1764
» Interactive Modeling of Plants
Sort
View
ECAL
2003
Springer
14 years 17 days ago
Representation of Genotype and Phenotype in a Coherent Framework Based on Extended L-Systems
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
Ole Kniemeyer, Gerhard H. Buck-Sorlin, Winfried Ku...
ESOP
2003
Springer
14 years 17 days ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
MVA
2010
206views Computer Vision» more  MVA 2010»
13 years 2 months ago
Estimating the motion of plant root cells from in vivo confocal laser scanning microscopy images
Images of cellular structures in growing plant roots acquired using confocal laser scanning microscopy (CLSM) have some unusual properties that make motion estimation challenging....
Timothy J. Roberts, Stephen J. McKenna, Cheng-Jin ...
EVOW
2005
Springer
14 years 26 days ago
Growing Music: Musical Interpretations of L-Systems
L-systems are parallel generative grammars, used to model plant development, with the results usually interpreted graphically. Music can also be represented by grammars, and it is ...
Peter Worth, Susan Stepney
APSEC
2008
IEEE
13 years 9 months ago
A Verification Framework for FBD Based Software in Nuclear Power Plants
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee