3972 search results - page 716 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
127
Voted
POPL
2010
ACM
16 years 25 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
123
Voted
SOSP
2003
ACM
16 years 10 days ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
109
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Many web links mislead human surfers and automated crawlers because they point to changed content, out-of-date information, or invalid URLs. It is a particular problem for large, ...
127
Voted
ROBOCUP
2009
Springer
15 years 10 months ago
2009
Springer
This paper is focused on the sensor and information fusion techniques used by a robotic soccer team. Due to the fact that the sensor information is affected by noise, and taking in...
136
Voted
ICAIL
2009
ACM
15 years 10 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...