6740 search results - page 1219 / 1348 » Using Classification as a Programming Language |
170
click to vote
CASSIS
2004
Springer
16 years 3 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
171
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...
179
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
195
click to vote
SIGADA
2004
Springer
16 years 1 days ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
167
Voted
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...