1953 search results - page 236 / 391 » codes 2010 |
186
click to vote
TACAS
2010
Springer
16 years 1 days ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
168
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
135
click to vote
SBP
2010
Springer
15 years 12 months ago
2010
Springer
Open source communities have been of great interest for researchers recently, yet little can be agreed upon when it comes to developers motives. While it has been shown that partic...
136
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Sparse representation has found applications in numerous domains and recent developments have been focused on the convex relaxation of the 0-norm minimization for sparse coding (i...
123
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, a novel approach for contour-based 2D shape recognition is proposed, using a recently introduced class of information theoretic kernels. This kind of kernels, based...