2583 search results - page 470 / 517 » On the Representation of Timed Polyhedra |
178
click to vote
CVPR
2007
IEEE
16 years 14 days ago
2007
IEEE
Gait is an attractive biometric for vision-based human identification. Previous work on existing public data sets has shown that shape cues yield improved recognition rates compar...
139
click to vote
GLVLSI
2007
IEEE
16 years 14 days ago
2007
IEEE
LNS (logarithmic number system) arithmetic has the advantages of high-precision and high performance in complex function computation. However, the large hardware problem in LNS ad...
139
click to vote
ICDM
2007
IEEE
16 years 13 days ago
2007
IEEE
Data mining algorithms use various Trie and bitmap-based representations to optimize the support (i.e., frequency) counting performance. In this paper, we compare the memory requi...
202
click to vote
CPAIOR
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
154
click to vote
FPGA
2007
ACM
16 years 9 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...