1901 search results - page 140 / 381 » Predicting Program Properties from |
178
click to vote
COLT
1994
Springer
15 years 7 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
129
click to vote
ML
2006
ACM
15 years 3 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
119
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
130
click to vote
WCE
2007
15 years 4 months ago
2007
—This paper reports the results of an experimental and finite element analysis of tibial screw fixation in hamstring ACL reconstruction. The mechanical properties of the bone and...
133
click to vote
AMC
2006
15 years 3 months ago
2006
Dynamic models of elastic structures are derived using approximations of linear three dimensional elasticity. A model for the three dimensional motion of a nonsymmetric structure ...