2899 search results - page 555 / 580 » Engineering Optimization Using a Simple Evolutionary Algorit... |
139
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
133
Voted
BMCBI
2008
15 years 19 days ago
2008
Background: This paper describes techniques for accelerating the performance of the string set matching problem with particular emphasis on applications in computational proteomic...
132
Voted
ICCV
2011
IEEE
14 years 16 days ago
2011
IEEE
We propose a novel patch-based image representation that is useful because it (1) inherently detects regions with repetitive structure at multiple scales and (2) yields a paramete...
208
Voted
SIGMOD
2007
ACM
16 years 20 days ago
2007
ACM
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...
104
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Embedded application requirements, including high performance, low power consumption and fast time to market, are uncommon in the broader domain of general purpose applications. I...