2586 search results - page 189 / 518 » Automatic Abstraction for Congruences |
159
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The traditional Web news article contents extraction methods are time-costly and need much maintenance because they analyze the layout of news pages to generate the wrapp...
162
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a system for automatically evolving neural networks as physics-based locomotion controllers for humanoid characters. Our approach provides two key features: (a...
170
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We show how polynomial path orders can be employed efficiently in conjunction with weak innermost dependency pairs to automatically certify the polynomial runtime comple...
153
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
170
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new system that allows for intuitive control of an additive sound synthesis model from perceptually relevant high-level sonic features. We suggest a general ...