2656 search results - page 56 / 532 » Design and analysis of algorithms reconsidered |
112
click to vote
EVOW
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
139
click to vote
JMLR
2006
15 years 4 months ago
2006
Incremental Support Vector Machines (SVM) are instrumental in practical applications of online learning. This work focuses on the design and analysis of efficient incremental SVM ...
127
click to vote
EVOW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we propose three small instances of a reconfigurable circuit and analyze their properties using the brute force method and evolutionary algorithm. Although ...
111
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...
111
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The use of novel algorithmic techniques is pivotal to many important problems in life science. For example the sequencing of the human genome [1] would not have been p...