Sciweavers

6149 search results - page 237 / 1230
» Revealing the programming process
Sort
View
SERP
2004
15 years 6 months ago
Combining Model-Driven and Schema-Based Program Synthesis
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
Ewen Denney, Jon Whittle
AROBOTS
2000
93views more  AROBOTS 2000»
15 years 4 months ago
Functional Programming of Behavior-Based Systems
In this paper, I describe a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be conc...
Ian Horswill
JLP
2002
90views more  JLP 2002»
15 years 4 months ago
Combining programs and state machines
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
Jan A. Bergstra, Alban Ponse
EUROSYS
2009
ACM
16 years 2 months ago
Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
Babak Salamat, Todd Jackson, Andreas Gal, Michael ...
ACCV
2009
Springer
15 years 11 months ago
A Dynamic Programming Approach to Maximizing Tracks for Structure from Motion
We present a novel algorithm for improving the accuracy of structure from motion on video sequences. Its goal is to efficiently recover scene structure and camera pose by using dyn...
Jonathan Mooser, Suya You, Ulrich Neumann, Raphael...