Sciweavers

368 search results - page 17 / 74
» Calculating an exceptional machine
Sort
View
BSL
2008
98views more  BSL 2008»
13 years 7 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich
ERCIMDL
2010
Springer
180views Education» more  ERCIMDL 2010»
13 years 4 months ago
SciPlore Xtract: Extracting Titles from Scientific PDF Documents by Analyzing Style Information (Font Size)
Extracting titles from a PDFs full text is an important task in information retrieval to identify PDFs. Existing approaches apply complicated and expensive (in terms of calculating...
Jöran Beel, Bela Gipp, Ammar Shaker, Nick Fri...
IJACTAICIT
2010
141views more  IJACTAICIT 2010»
13 years 2 months ago
Five-axis NURBS Path Real-time Generation Method in CNC System
A real-time path generation method with Non Uniform Rational B Spline(NURBS) technology in the Computer Aided Design(CAD) field is presented and realized in a five-axis Computer N...
Liangji Chen, Changyin Gao, Xianzhang Feng
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 4 months ago
Performance evaluation of parallel manipulators for milling application
This paper focuses on the performance evaluation of the parallel manipulators for milling of composite materials. For this application the most significant performance measurement...
Anatoly Pashkevich, Alexandr Klimchik, Séba...
ICML
2008
IEEE
14 years 8 months ago
A worst-case comparison between temporal difference and residual gradient with linear function approximation
Residual gradient (RG) was proposed as an alternative to TD(0) for policy evaluation when function approximation is used, but there exists little formal analysis comparing them ex...
Lihong Li