1878 search results - page 251 / 376 » Feature Generation Using General Constructor Functions |
144
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
116
click to vote
VEE
2005
ACM
15 years 7 months ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
94
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
-- The human finger possesses a structure called the extensor mechanism, a web-like collection of tendinous material that lies on the dorsal side of each finger and connects the co...
124
click to vote
COLT
2006
Springer
15 years 6 months ago
2006
Springer
We propose a sequential randomized algorithm, which at each step concentrates on functions having both low risk and low variance with respect to the previous step prediction functi...
104
click to vote
ML
2008
ACM
15 years 2 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...