6274 search results - page 97 / 1255 » Proofs, Programs, Processes |
163
Voted
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
159
Voted
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
236
Voted
COCO
1993
Springer
15 years 11 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...
178
Voted
ECOOP
2005
Springer
16 years 26 days 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...
199
Voted
GECCO
2004
Springer
16 years 24 days 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...