1296 search results - page 156 / 260 » Searching with context |
161
Voted
JBI
2006
15 years 5 months ago
2006
Numerous metrics have been developed that attempt to assess the reliability of phylogenetic trees. Several of these commonly used measures of tree and tree branch support are desc...
147
click to vote
JOT
2006
15 years 5 months ago
2006
Framework development is very expensive, not only because of the intrinsic difficulty related to capturing the domain knowledge, but also because of the lack of appropriate method...
158
Voted
TAP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
133
Voted
CGF
2005
15 years 5 months ago
2005
Semanticons can enhance the representation of files by offering symbols that are both meaningful and easily distinguishable. The semantics of a file is estimated by parsing its na...
147
click to vote
JSAC
2007
15 years 5 months ago
2007
— In this paper, we introduce and evaluate novel adaptive schemes for neighbor discovery in Bluetooth-enabled ad-hoc networks. In an ad-hoc peer-to-peer setting, neighbor search ...