3025 search results - page 192 / 605 » Automatic Programming of Robots Using Genetic Programming |
137
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
127
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
142
Voted
LCTRTS
1999
Springer
15 years 7 months ago
1999
Springer
Code space is a critical issue facing designers of software for embedded systems. Many traditional compiler optimizations are designed to reduce the execution time of compiled cod...
138
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper proposes a unique feedback governed multi layered architectural model to support ISP's traffic demands with multiple Quality of Service(QoS) constraints. The propos...
141
click to vote
ICS
2001
Tsinghua U.
15 years 7 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...