9521 search results - page 113 / 1905 » Compiling with continuations, continued |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
SDM
2009
SIAM
15 years 7 months ago
2009
SIAM
We study non-parametric measures for the problem of comparing distributions, which arise in anomaly detection for continuous time series. Non-parametric measures take two distribu...
PERVASIVE
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents novel methodologies for the analysis of continuous cellular tower data from 215 randomly sampled subjects in a major urban city. We demonstrate the potential of...
73
Voted
MICAI
2009
Springer
15 years 4 months ago
2009
Springer
Reinforcement Learning is a commonly used technique in robotics, however, traditional algorithms are unable to handle large amounts of data coming from the robot’s sensors, requi...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a new method called Transition-based RRT (T-RRT) for path planning problems in continuous cost spaces. It combines the exploration strength of the RRT algorith...