9521 search results - page 445 / 1905 » Compiling with continuations, continued |
143
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
A fast online algorithm was developed for polygonal approximation of signals and curves with a minimum number of line segments for a given constraint on the standard deviation of ...
115
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— As robots become more commonplace within society, the need for tools to enable non-robotics-experts to develop control algorithms, or policies, will increase. Learning ...
140
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
Although significant efforts have been devoted to the study and evaluation of information retrieval systems from an algorithmic perspective, far less work has been performed on t...
109
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Combining both intervals and discrete sets of numbers, this paper presents a definition for an extended grey number model representing both continuous and discrete grey number...
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...