12981 search results - page 2335 / 2597 » Model Checking (Abstract) |
134
click to vote
CDB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
243
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Factored representations, model-based learning, and hierarchies are well-studied techniques for improving the learning efficiency of reinforcement-learning algorithms in large-sca...
117
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
163
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
129
click to vote
BALT
2006
15 years 8 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...