661 search results - page 121 / 133 » Combining Information using Hard Constraints |
124
click to vote
SIGKDD
2002
15 years 3 months 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...
144
click to vote
ICFEM
2010
Springer
15 years 2 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...
164
click to vote
MMM
2011
Springer
14 years 7 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....
157
click to vote
MVA
2007
15 years 5 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 ...
149
Voted
EUROSYS
2010
ACM
16 years 25 days 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...