661 search results - page 121 / 133 » Combining Information using Hard Constraints |
94
Voted
SIGKDD
2002
15 years 10 hour ago
2002
The primary aim of most data mining algorithms is to facilitate the discovery of concise and interpretable information from large amounts of data. However, many of the current for...
120
Voted
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
133
Voted
MMM
2011
Springer
14 years 4 months ago
2011
Springer
As the resolution of output device increases, the demand of high resolution contents has become more eagerly. Therefore, the image superresolution algorithms become more important....
117
Voted
MVA
2007
15 years 1 months ago
2007
A monocular vision based location algorithm is presented to detect and track rear vehicles for lane change assist. The algorithm uses the shadow underneath the vehicle to extract ...
108
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...