1173 search results - page 210 / 235 » Program Derivation Using Analogy |
155
click to vote
STACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Abstract. Recent work in the analysis of randomized approximation algorithms for NP-hard optimization problems has involved approximating the solution to a problem by the ...
175
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
165
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
154
click to vote
ATAL
2007
Springer
16 years 2 days ago
2007
Springer
Reinforcement learning promises a generic method for adapting agents to arbitrary tasks in arbitrary stochastic environments, but applying it to new real-world problems remains di...
182
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Genome-Wide Association (GWA) analysis is a powerful method for identifying loci associated with complex traits and drug response. Parts of GWA analyses, especially th...