6274 search results - page 393 / 1255 » Proofs, Programs, Processes |
215
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...
181
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
This work presents a performance analysis of a Multi-Branches Genetic Programming (MBGP) approach applied in symbolic regression (e.g. function approximation) problems. Genetic Pro...
160
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
157
click to vote
ASSETS
2000
ACM
15 years 11 months ago
2000
ACM
This paper reports on a tool for assisting students with visual disabilities in learning how to program. The tool is meant to be used by computer science majors learning the progr...
185
click to vote
ACE
2004
15 years 8 months ago
2004
Industrial practice in software engineering has developed in recent years from rigid heavyweight document-based development techniques, such as the Rational Unified Process, to in...