7167 search results - page 93 / 1434 » A Technique for Invariant Generation |
167
click to vote
IMECS
2007
15 years 7 months ago
2007
—This paper presents a new metamodel-assisted metaheuristic algorithm for optimisation problems involving computationally expensive simulations. The algorithm, called Global Prob...
152
click to vote
ICCBR
2010
Springer
15 years 4 months ago
2010
Springer
The need for automated text evaluation is common to several AI disciplines. In this work, we explore the use of Machine Translation (MT) evaluation metrics for Textual Case Based R...
161
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
154
click to vote
ECUMN
2007
Springer
16 years 11 days ago
2007
Springer
— Currently used IP routing protocols calculate and only use a single path between two nodes of a network, or in the best case, only paths with the same cost (with OSPF2 or IS-IS...
181
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...