3928 search results - page 433 / 786 » Optimal suffix selection |
185
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
157
click to vote
GI
2007
Springer
16 years 27 days ago
2007
Springer
: In addition to the growing complexity of software systems, test effort takes increasing amounts of time and correspondingly more money. Testing costs may be reduced without compr...
191
click to vote
MTV
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
170
Voted
WECWIS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes an algorithm optimizing the discovery process for composed semantic web services. The algorithm can be used to improve discovery of appropriate component servi...
151
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we present an evaluation of selected parallel strategies for Simulated Annealing and Simulated Evolution, identifying the impact of various issues on the effectivene...