3690 search results - page 355 / 738 » Computation with classical sequents |
230
click to vote
ICPR
2002
IEEE
16 years 17 days 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...
244
click to vote
ECCV
2010
Springer
16 years 15 days ago
2010
Springer
We present a robust approach to creating 2.5D building models from aerial LiDAR point clouds. The method is guaranteed to produce crack-free models composed of complex roofs and ve...
185
click to vote
CDC
2009
IEEE
16 years 10 days ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
186
click to vote
CALC
2001
Springer
16 years 3 days ago
2001
Springer
We show that a positive definite integral ternary form can be reduced with O(M(s) log2 s) bit operations, where s is the binary encoding length of the form and M(s) is the bit-com...
164
click to vote
ICC
2000
IEEE
16 years 1 days ago
2000
IEEE
—This paper proposes an analytical study which aims at evaluating the received power statistics in DS-CDMA cellular systems which use a closed-loop power control scheme to compen...