Sciweavers

2904 search results - page 196 / 581
» Valuing Design Repair
Sort
View
CP
2005
Springer
16 years 17 days ago
Robust Constraint Solving Using Multiple Heuristics
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...
CONCUR
2004
Springer
16 years 12 days ago
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
Roberto M. Amadio, Silvano Dal-Zilio
128
Voted
DATE
2003
IEEE
81views Hardware» more  DATE 2003»
16 years 9 days ago
Figure of Merit Based Selection of A/D Converters
A new method for selecting analog to digital (A/D) converters based on a generic figure of merit is described. First a figure of merit is introduced that includes both specific...
Martin Vogels, Georges G. E. Gielen
FC
2003
Springer
133views Cryptology» more  FC 2003»
16 years 7 days ago
Secure Generalized Vickrey Auction Using Homomorphic Encryption
Combinatorial auctions have recently attracted the interest of many researchers due to their promising applications such as the spectrum auctions recently held by the FCC. In a com...
Koutarou Suzuki, Makoto Yokoo
143
Voted
GECCO
2003
Springer
16 years 7 days ago
Dynamic Maximum Tree Depth
We present a technique, designated as dynamic maximum tree depth, for avoiding excessive growth of tree-based GP individuals during the evolutionary process. This technique introdu...
Sara Silva, Jonas Almeida