Sciweavers

2904 search results - page 196 / 581
» Valuing Design Repair
Sort
View
139
Voted
CP
2005
Springer
15 years 10 months 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...
122
Voted
CONCUR
2004
Springer
15 years 10 months 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
DATE
2003
IEEE
81views Hardware» more  DATE 2003»
15 years 10 months 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»
15 years 10 months 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
102
Voted
GECCO
2003
Springer
15 years 10 months 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