Sciweavers

3468 search results - page 304 / 694
» Solid and physical modeling
Sort
View
ACRI
2004
Springer
16 years 5 days ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
ISCIS
2003
Springer
15 years 12 months ago
Gene Level Concurrency in Genetic Algorithms
This study describes an alternative concurrency approach in genetic algorithms. Inspiring from implicit parallelism in a physical chromosome, a vertical concurrency is introduced. ...
Onur Tolga Sehitoglu, Göktürk Ü&cce...
FGR
1996
IEEE
111views Biometrics» more  FGR 1996»
15 years 11 months ago
Pfinder: real-time tracking of the human body
Pfinder is a real-time system for tracking people and interpreting their behavior. It runs at 10Hz on a standard SGI Indy computer, and has performed reliably on thousands of peopl...
Christopher Richard Wren, Ali Azarbayejani, Trevor...
WSC
2008
15 years 9 months ago
Controls: Emulation to improve the performance of container terminals
Nowadays container terminals are struggling with a continuously increasing volume. Therefore, they are searching for solutions to increase throughput capacity without expanding th...
Csaba A. Boer, Yvo Saanen
WSC
2008
15 years 9 months ago
A methodology for unit testing actors in proprietary discrete event based simulations
CT This paper presents a dependency injection based, unit testing methodology for unit testing components, or actors, involved in discrete event based computer network simulation v...
Mark E. Coyne, Scott R. Graham, Kenneth M. Hopkins...