Sciweavers

12399 search results - page 414 / 2480
» Deformable structural models
Sort
View
WSC
2007
15 years 9 months ago
Process flowcharting and simulation of house structure components production process
Stimulated by the success of management innovation in the manufacturing industry – culminating in lean production, many homebuilders attempt to model the construction process on...
Haitao Yu, Mohamed Al-Hussein, Reza Nasseri
194
Voted
ICCS
2005
Springer
16 years 9 days ago
Evolutionary Discovery of Arbitrary Self-replicating Structures
In this paper we describe our recent use of genetic programming methods to automatically discover CA rule sets that produce self-replication of arbitrary given structures. Our init...
Zhijian Pan, James A. Reggia
ZUM
2005
Springer
140views Formal Methods» more  ZUM 2005»
16 years 7 days ago
An Object-Oriented Structuring for Z Based on Views
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
Nuno Amálio, Fiona Polack, Susan Stepney
PODS
1993
ACM
122views Database» more  PODS 1993»
15 years 11 months ago
Towards an Analysis of Range Query Performance in Spatial Data Structures
In this paper, we motivate four di erent user de ned window query classes and derive a probabilistic model for each of them. For each model, we characterize the e ciency of spatia...
Bernd-Uwe Pagel, Hans-Werner Six, Heinrich Toben, ...
AAAI
2010
15 years 8 months ago
Ordered Completion for First-Order Logic Programs on Finite Structures
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou