Sciweavers

3780 search results - page 404 / 756
» Structured Relation Discovery using Generative Models
Sort
View
ASM
2010
ASM
16 years 1 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
SCAI
2008
15 years 8 months ago
Modeling Habituation in the Cnidarian Hydra
Abstract. In the design of behavior-based control architectures for robots it is common to use biology as inspiration, and often the observed functionalities of insect behaviors ar...
Malin Aktius, Mats Nordahl, Tom Ziemke
AES
2008
Springer
182views Cryptology» more  AES 2008»
15 years 6 months ago
Logical product models for automated scripting of process-level construction animations
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
Vineet R. Kamat
3DICA
2000
15 years 8 months ago
Automatic Reconstruction of Large 3D Models of Real Environments from Unregistered Data-sets
Towards photo-realistic 3D scene reconstruction from range and color images, we present a statistical technique for multimodal image registration. Statistical tools are employed t...
Faysal Boughorbel, David L. Page, Mongi A. Abidi
GECCO
2003
Springer
182views Optimization» more  GECCO 2003»
15 years 12 months ago
Modeling the Search Landscape of Metaheuristic Software Clustering Algorithms
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...
Brian S. Mitchell, Spiros Mancoridis