6201 search results - page 222 / 1241 » Implementation of Axiomatic Language |
174
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
144
click to vote
SAC
2010
ACM
16 years 1 days ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
139
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
166
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
132
click to vote
CSL
2002
Springer
15 years 5 months ago
2002
Springer
We describe a corpus-based approach to natural language generation (NLG). The approach has been implemented as a component of a spoken dialog system and a series of evaluations we...