Sciweavers

5269 search results - page 316 / 1054
» order 2007
Sort
View
COLOGNETWENTE
2009
15 years 8 months ago
Improved Strategies for Branching on General Disjunctions
Abstract Within the context of solving Mixed-Integer Linear Programs by a Branch-andCut algorithm, we propose a new strategy for branching. Computational experiments show that, on ...
Gérard Cornuéjols, Leo Liberti, Giac...
DAGSTUHL
2009
15 years 8 months ago
MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments
Self-adaptive component-based architectures facilitate the building of systems capable of dynamically adapting to varying execution context. Such a dynamic adaptation is particular...
Romain Rouvoy, Paolo Barone, Yun Ding, Frank Elias...
DICTA
2009
15 years 8 months ago
SIFTing the Relevant from the Irrelevant: Automatically Detecting Objects in Training Images
Many state-of-the-art object recognition systems rely on identifying the location of objects in images, in order to better learn its visual attributes. In this paper, we propose fo...
Edmond Zhang, Michael Mayo
ACTA
2007
96views more  ACTA 2007»
15 years 7 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
194
Voted
ALIFE
2007
15 years 7 months ago
"Life Is a Verb": Inflections of Artificial Life in Cultural Context
This review essay surveys recent literature in the history of science, literary theory, anthropology, and art criticism dedicated to exploring how the artificial life enterprise ha...
Stefan Helmreich