Sciweavers

33356 search results - page 375 / 6672
» Models of Continual Computation
Sort
View
AAAI
1990
15 years 8 months ago
Computing Stable Models by Using the ATMS
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
Kave Eshghi
GMP
2006
IEEE
118views Solid Modeling» more  GMP 2006»
16 years 24 days ago
Computing a Family of Skeletons of Volumetric Models for Shape Description
Skeletons are important shape descriptors in object representation and recognition. Typically, skeletons of volumetric models are computed using iterative thinning. However, tradi...
Tao Ju, Matthew L. Baker, Wah Chiu
ECAL
2005
Springer
16 years 8 days ago
A Computational Model of Cellular Morphogenesis in Plants
Plant morphogenesis is the development of plant form and structure by coordinated cell division and growth. We present a dynamic computational model of plant morphogenesis at cellu...
Tim Rudge, Jim Haseloff
GECCO
2005
Springer
148views Optimization» more  GECCO 2005»
16 years 8 days ago
An analysis of island models in evolutionary computation
A need for solving more and more complex problems drives the Evolutionary Computation community towards advanced models of Evolutionary Algorithms. One such model is the island mo...
Zbigniew Skolicki
DATE
2000
IEEE
121views Hardware» more  DATE 2000»
15 years 11 months ago
Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...
Axel Jantsch, Per Bjuréus