2673 search results - page 491 / 535 » Guided Static Analysis |
104
Voted
IJCINI
2007
15 years 22 days ago
2007
The Cognitive Processes of Abstraction and Formal Inferences J. A. Anderson: A Brain-Like Computer for Cognitive Software Applications: the Resatz Brain Project L. Flax: Cognitive ...
85
Voted
SIGIR
2008
ACM
15 years 22 days ago
2008
ACM
With an explosive growth of blogs, information seeking in blogosphere becomes more and more challenging. One example task is to find the most relevant topical blogs against a give...
TC
2008
15 years 21 days ago
2008
Network structure construction and global state maintenance are expensive in large-scale, dynamic peer-to-peer (p2p) networks. With inherent topology independence and low state mai...
128
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: Human heart failure is a complex disease that manifests from multiple genetic and environmental factors. Although ischemic and non-ischemic heart disease present clini...
135
click to vote
TVCG
2008
15 years 21 days ago
2008
Systems biologists use interaction graphs to model the behavior of biological systems at the molecular level. In an iterative process, such biologists observe the reactions of livi...