6104 search results - page 354 / 1221 » Constructing Information Bases Using Associative Structures |
130
Voted
HT
1997
ACM
15 years 9 months ago
1997
ACM
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
156
click to vote
BC
2007
15 years 5 months ago
2007
Complex self-motion stimulations in the dark can be powerfully disorienting and can create illusory motion percepts. In the absence of visual cues, the brain has to use angular and...
181
Voted
BMCBI
2008
15 years 5 months ago
2008
Background: Evolutionary conservation of RNA secondary structure is a typical feature of many functional non-coding RNAs. Since almost all of the available methods used for predic...
129
click to vote
IWFM
1998
15 years 6 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
163
click to vote
JPDC
2006
15 years 5 months ago
2006
Distributed hash tables (DHTs), used in a number of structured peer-to-peer (P2P) systems provide efficient mechanisms for resource placement and location. A key distinguishing fe...