2266 search results - page 384 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
115
click to vote
TAMC
2009
Springer
15 years 11 months ago
2009
Springer
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
130
click to vote
SODA
2008
ACM
15 years 5 months ago
2008
ACM
Abstract Ilan Gronau Shlomo Moran Sagi Snir Phylogenetic reconstruction is the problem of reconstructing an evolutionary tree from sequences corresponding to leaves of that tree. ...
128
click to vote
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
We present a pipelining-aware router for FPGAs. The problem of routing pipelined signals is different from the conventional FPGA routing problem. For example, the two terminal N-D...
151
click to vote
SODA
2008
ACM
15 years 5 months ago
2008
ACM
This paper considers a general setting for structured procurement and the problem a buyer faces in designing a procurement mechanism to maximize profit. This brings together two a...
145
click to vote
JALC
2006
15 years 4 months ago
2006
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...