6274 search results - page 97 / 1255 » Proofs, Programs, Processes |
84
Voted
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
117
click to vote
COCO
1993
Springer
15 years 4 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
100
click to vote
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...