10891 search results - page 311 / 2179 » Combining Model Reductions |
147
click to vote
JAR
2002
15 years 4 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...
165
click to vote
TOPNOC
2010
14 years 11 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
121
click to vote
CIBCB
2005
IEEE
15 years 10 months ago
2005
IEEE
Efficient and reliable methods that can find a small sample of informative genes amongst thousands are of great importance. In this area, much research is investigating the combina...
134
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
The Non-negative Matrix Factorization technique (NMF) has been recently proposed for dimensionality reduction. NMF is capable to produce a region- or partbased representation of o...
143
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, an integrated resolution up-conversion and compression artifacts removal algorithm is proposed. Local image patterns are classified into object details or coding ar...