Sciweavers

3358 search results - page 342 / 672
» Parametric Aspects: A Proposal
Sort
View
FDL
2007
IEEE
15 years 10 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
15 years 10 months ago
Discrimination of metabolic flux profiles using a hybrid evolutionary algorithm
Studying metabolic fluxes is a crucial aspect of understanding biological phenotypes. However, it is often not possible to measure these fluxes directly. As an alternative, fluxom...
Stefan Bleuler, Eckart Zitzler
GRAPHITE
2007
ACM
15 years 10 months ago
Squidsoup
: Communicating the ethos of a subject (e.g. a brand or cultural or historical narrative) within an environment, such as a museum or visitor centre, is often undermined by the poor...
Anthony Rowe
ICDIM
2007
IEEE
15 years 10 months ago
Incentives for resource sharing in self-organized communities: From economics to social psychology
In this position paper we analyze the benefits of enabling virtual communities to self-organize and introduce a novel research direction for providing incentives, required in this...
Panayotis Antoniadis, Bénédicte Le G...
AI50
2006
15 years 10 months ago
A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots
Robots are rapidly evolving from factory work-horses to robot-companions. The future of robots, as our companions, is highly dependent on their abilities to understand, interpret a...
Shrihari Vasudevan, Stefan Gächter, Ahad Hara...