7197 search results - page 1132 / 1440 » On the computational power of BlenX |
171
Voted
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
223
click to vote
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we present an efficient technique to obtain accurate semantic classification on the pixel level capable of integrating various modalities, such as color, ed...
193
Voted
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
204
Voted
DAC
2004
ACM
15 years 11 months ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
213
Voted
CSR
2006
Springer
15 years 11 months ago
2006
Springer
We propose a new model of restricted branching programs specific to solving GEN problems, which we call incremental branching programs. We show that syntactic incremental branchin...