549 search results - page 80 / 110 » Verification condition generation for conditional informatio... |
117
click to vote
CIKM
1993
Springer
15 years 4 months ago
1993
Springer
match algorithms that can efficiently handleAbstract complex tests in the presence of large amounts of data. Match algorithms that are capable of handling large amounts of On the o...
111
click to vote
ACISICIS
2009
IEEE
15 years 3 months ago
2009
IEEE
A PCNNs-based square-and-triangle-template method for binary fingerprint image thinning is proposed. The algorithm is iterative, in which a combined sequential and parallel proces...
109
click to vote
EMNLP
2007
15 years 2 months ago
2007
One may need to build a statistical parser for a new language, using only a very small labeled treebank together with raw text. We argue that bootstrapping a parser is most promis...
104
Voted
MOBICOM
2010
ACM
15 years 22 days ago
2010
ACM
Information on site-specific spectrum characteristics is essential to evaluate and improve the performance of wireless networks. However, it is usually very costly to obtain accur...
82
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
In current interframe video compression systems, the encoder performs predictive coding to exploit the similarities of successive frames. The Wyner-Ziv Theorem on source coding wi...