502 search results - page 50 / 101 » Verifying Balanced Trees |
97
Voted
SC
1995
ACM
15 years 4 months ago
1995
ACM
The problem of determining the evolutionary history of species in the form of phylogenetic trees is known as the phylogeny problem. We present a parallelization of the character c...
114
click to vote
CADE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
84
Voted
CSL
2007
Springer
15 years 14 days ago
2007
Springer
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
117
Voted
ICPADS
2006
IEEE
15 years 6 months ago
2006
IEEE
In wireless sensor networks (WSNs), a good sensor deployment method is vital to the quality of service (QoS) provided by WSNs. This QoS depends on the coverage of the monitoring a...
87
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...