11345 search results - page 433 / 2269 » Foundations of Computer Science |
206
click to vote
ECCV
1998
Springer
15 years 11 months ago
1998
Springer
This paper investigates the linear degeneracies of projective structure estimation from point and line features across three views. We show that the rank of the linear system of e...
185
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...
188
click to vote
FMCO
2003
Springer
16 years 1 days ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
132
click to vote
TVLSI
2002
15 years 6 months ago
2002
Theoretical analysis of bus-invert coding for reducing switching activity was previously investigated. In this paper we conduct a theoretical analysis of this method for coupling r...
148
click to vote
MFCS
2001
Springer
15 years 11 months ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...