6274 search results - page 993 / 1255 » Proofs, Programs, Processes |
115
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
155
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...
149
click to vote
AAAI
2006
15 years 4 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
144
click to vote
QNS
1996
15 years 4 months ago
1996
Inferno is an operating system well suited to applications that need to be portable, graphical, and networked. This paper describes the fundamental
oating point facilities of the...
133
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...