4940 search results - page 704 / 988 » On the Complexity of Universal Programs |
181
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
169
click to vote
IMR
2005
Springer
16 years 3 days ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
190
click to vote
MFCS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Feige and Kilian [5] showed that finding reasonable approximative solutions to the coloring problem on graphs is hard. This motivates the quest for algorithms that eithe...
185
click to vote
SBCCI
2004
ACM
16 years 17 hour ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
167
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...