859 search results - page 52 / 172 » Implementing CMMI using a Combination of Agile Methods |
130
click to vote
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
The goal of approximate policy evaluation is to “best” represent a target value function according to a specific criterion. Temporal difference methods and Bellman residual m...
135
Voted
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
124
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
131
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
128
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...