626 search results - page 76 / 126 » When Can Formal Methods Make a Real Difference |
116
Voted
ELPUB
2007
ACM
15 years 7 months ago
2007
ACM
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...
136
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
We address the problem of feature selection in a kernel space to select the most discriminative and informative features for classification and data analysis. This is a difficult ...
161
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Image registration and 3D reconstruction are fundamental computer vision and medical imaging problems. They are particularly challenging when the input data are images of a deform...
149
Voted
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
140
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
This paper addresses the issue of social recommendation based on collaborative filtering (CF) algorithms. Social recommendation emphasizes utilizing various attributes informatio...