2255 search results - page 136 / 451 » Computing a Center-Transversal Line |
133
click to vote
GD
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should re ect th...
126
Voted
CSR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
DCC
2010
IEEE
15 years 3 months ago
2010
IEEE
In this note, we characterize the Grassmann embedding of H(q), q even, as the unique full embedding of H(q) in PG(12, q) for which each ideal line of H(q) is contained in a plane....
180
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
We present a novel multi-view stereo method designed
for image-based rendering that generates piecewise planar
depth maps from an unordered collection of photographs.
First a di...
132
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents and evaluates a strategy for integrating the Snort network intrusion detection system into a high-performance programmable Ethernet network interface card (NIC...