1963 search results - page 114 / 393 » Applications of Preferences using Answer Set Programming |
127
click to vote
SAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
117
click to vote
ISCA
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper examines the performance of desktop applications running on the Microsoft Windows NT operating system on Intel x86 processors, and contrasts these applications to the p...
121
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
142
click to vote
SPIESR
1998
15 years 4 months ago
1998
Abstract. Imaging applications such as filtering, image transforms and compression/decompression require vast amounts of computing power when applied to large data sets. These appl...
135
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: It is common for the results of a microarray study to be analyzed in the context of biologically-motivated groups of genes such as pathways or Gene Ontology categories...