16082 search results - page 2945 / 3217 » Fireworks Algorithm for Optimization |
307
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
241
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
In the class of repeated sequences that occur in DNA, minisatellites have been found polymorphic and became useful tools in genetic mapping and forensic studies. They consist of a...
260
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Regulations require businesses to archive many electronic documents for extended periods of time. Given the sheer volume of documents and the response time requirements, documents...
281
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Querying XML effectively and efficiently using declarative languages such as XQuery and XPath has been widely studied in both academic and industrial settings. Most RDBMS vendors ...
301
Voted
SIGMOD
2007
ACM
16 years 6 months 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...