455 search results - page 56 / 91 » Understanding Counterexamples with explain |
ICDIM
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes the basis of citation auctions that are introduced as a new approach to selecting scientific papers for publication. Unlike the state of the art in paper sele...
100
click to vote
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
— Passive dynamics plays an important role in legged locomotion of the biological systems. The use of passive dynamics is expected for energy efficiency, self-stabilization agai...
101
click to vote
WISE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
AAECC
2007
Springer
15 years 5 months ago
2007
Springer
The split-radix FFT computes a size-n complex DFT, when n is a large power of 2, using just 4n lg n−6n+8 arithmetic operations on real numbers. This operation count was first an...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...