Sciweavers

6149 search results - page 243 / 1230
» Revealing the programming process
Sort
View
ITICSE
2003
ACM
15 years 10 months ago
Studying program correctness by constructing contracts
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D...
KBSE
2008
IEEE
15 years 11 months ago
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
Diego Ordóñez Camacho, Kim Mens
141
Voted
GREC
2005
Springer
15 years 10 months ago
Online Composite Sketchy Shape Recognition Using Dynamic Programming
This paper presents a solution for online composite sketchy shape recognition. The kernel of the strategy treats both stroke segmentation and sketch recognition as an optimization ...
Zhengxing Sun, Bo Yuan, Jianfeng Yin
CEC
2003
IEEE
15 years 10 months ago
Exploring the search space of quantum programs
Here we present a first study of search spaces and fitness landscapes in the context of the evolution of quantum programs. We consider small instances of the Deutsch-Jozsa proble...
André Leier, Wolfgang Banzhaf
145
Voted
DGCI
2003
Springer
15 years 10 months ago
Stability in Discrete Tomography: Linear Programming, Additivity and Convexity
The problem of reconstructing finite subsets of the integer lattice from X-rays has been studied in discrete mathematics and applied in several fields like image processing, data...
Sara Brunetti, Alain Daurat