4716 search results - page 519 / 944 » Tangible functional programming |
105
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
130
Voted
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we present an approach that evolves the consensus sequence [25] for multiple sequence alignment (MSA) with genetic algorithm (GA). We have developed an encoding schem...
ISMAR
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
112
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The use of spreadsheets to capture information is widespread in industry. Spreadsheets can thus be a wealthy source of domain information. We propose to automatically ext...
117
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...