186 search results - page 28 / 38 » Completing Inverse Entailment |
132
Voted
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
Although more efficient in computation compared to other tracking approaches such as particle filtering, the kernel-based tracking suffers from the "singularity" problem...
114
Voted
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Modern morphometric studies use non-linear image registration to compare anatomies and perform group analysis. Recently, logEuclidean approaches have contributed to promo...
116
click to vote
RECOMB
2004
Springer
16 years 3 months ago
2004
Springer
In order to apply gene-order rearrangement algorithms to the comparison of genome sequences, Pevzner and Tesler [9] bypass gene finding and ortholog identification, and use the or...
150
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
133
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper analyzes the carrier-to-interference ratio of the so-called shotgun cellular system (SCS). In the SCS, basestations are placed randomly according to a two-dimensional...