429 search results - page 53 / 86 » Anti-unification Algorithms and Their Applications in Progra... |
155
click to vote
BMCBI
2005
15 years 4 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...
129
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
151
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
146
click to vote
IJCAI
2003
15 years 5 months ago
2003
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
164
click to vote
ASE
2011
14 years 8 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...