5459 search results - page 868 / 1092 » Context in Web Search |
176
click to vote
JBI
2006
15 years 6 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...
170
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
183
click to vote
TAP
2008
Springer
15 years 6 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 ...
160
click to vote
CGF
2005
15 years 6 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...
169
click to vote
JSAC
2007
15 years 6 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 ...