15253 search results - page 2456 / 3051 » Integer-Programming Software Systems |
177
click to vote
LCPC
2004
Springer
16 years 18 days ago
2004
Springer
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
174
click to vote
MKM
2004
Springer
16 years 17 days ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
210
click to vote
NIME
2004
Springer
16 years 17 days ago
2004
Springer
Though musical performers routinely use eye movements to communicate with each other during musical performances, very few performers or composers have utilized eye tracking devic...
185
click to vote
PCM
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We have been working on the integration of video with supplementary documents, such as cooking programs. We propose an integration system that performs semantic segmentat...
182
click to vote
ROBOCUP
2004
Springer
16 years 17 days ago
2004
Springer
This paper describes the joint approach of three research groups to enable a heterogeneous team of robots to exchange belief. The communication framework presented imposes little r...