5623 search results - page 322 / 1125 » Incremental Mechanism Design |
190
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
149
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
183
click to vote
SIPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a fast mode decision algorithm for H.264/AVC intra prediction. The goal of this work is to reduce computational complexity of the H.264 encoder without s...
209
click to vote
PAKDD
2007
ACM
16 years 26 days ago
2007
ACM
Abstract. In our previous studies, Genetic Programming (GP), Probabilistic Incremental Program Evolution (PIPE) and Ant Programming (AP) have been used to optimal design of Flexibl...
152
click to vote
ICDE
2006
IEEE
16 years 24 days ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...