Sciweavers

8109 search results - page 271 / 1622
» A Model of Component-Based Programming
Sort
View
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 6 months ago
Reducing Tile Complexity for Self-Assembly Through Temperature Programming
We consider the tile self-assembly model and how tile complexity can be eliminated by permitting the temperature of the self-assembly system to be adjusted throughout the assembly...
Ming-Yang Kao, Robert T. Schweller
ANOR
2005
57views more  ANOR 2005»
15 years 6 months ago
Integer-Programming Software Systems
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...
Alper Atamtürk, Martin W. P. Savelsbergh
WOA
2010
15 years 4 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
CAEPIA
2011
Springer
14 years 6 months ago
Solving Sequential Mixed Auctions with Integer Programming
Mixed multi-unit combinatorial auctions (MMUCAs) offer a high potential to be employed for the automated assembly of supply chains of agents. However, in order for mixed auctions ...
Boris Mikhaylov, Jesús Cerquides, Juan A. R...
AGP
2003
IEEE
15 years 12 months ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres