Sciweavers

381 search results - page 58 / 77
» Using Temporal Coherence to Build Models of Animals
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 3 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
CVPR
2000
IEEE
15 years 11 months ago
Representation and Recognition of Complex Human Motion
The quest for a vision system capable of representing and recognizing arbitrary motions benefits from a low dimensional, non-specific representation of flow fields, to be used in ...
Jesse Hoey, James J. Little
GECCO
2008
Springer
179views Optimization» more  GECCO 2008»
14 years 10 months ago
Evolutionary swarm design of architectural idea models
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
Sebastian von Mammen, Christian Jacob
DAGSTUHL
2006
14 years 11 months ago
On Scene Interpretation with Description Logics
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
Bernd Neumann, Ralf Möller
SOFSEM
2007
Springer
15 years 3 months ago
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
Dietmar Schreiner, Karl M. Göschka