624 search results - page 62 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
BMCBI
2005
13 years 8 months ago
2005
Motivation: In cluster analysis, the validity of specific solutions, algorithms, and procedures present significant challenges because there is no null hypothesis to test and no &...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
BMCBI
2006
13 years 8 months ago
2006
Background: In our previous studies, we found that the sites in prokaryotic genomes which are most susceptible to duplex destabilization under the negative superhelical stresses t...
SIGMOD
2010
ACM
13 years 9 months ago
2010
ACM
We develop a compact and efficient reachability labeling scheme for answering provenance queries on workflow runs that conform to a given specification. Even though a workflow run...