6201 search results - page 222 / 1241 » Implementation of Axiomatic Language |
200
click to vote
SAC
2006
ACM
15 years 6 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...
171
click to vote
SAC
2010
ACM
16 years 1 months 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...
170
click to vote
TASE
2007
IEEE
16 years 26 days 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...
189
click to vote
MM
2004
ACM
16 years 10 hour 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...
161
click to vote
CSL
2002
Springer
15 years 6 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...