1863 search results - page 347 / 373 » Automatic Collection of Related Terms from the Web |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Borrowing from concepts in expander graphs, we study the expansion properties of real-world, complex networks (e.g. social networks, unstructured peer-to-peer or P2P networks) and...
108
click to vote
KDD
2010
ACM
14 years 10 months ago
2010
ACM
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities. A critical problem in a crisis situation is how t...
115
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: The increasing availability of molecular sequence data means that the accuracy of future phylogenetic studies is likely to by limited by systematic bias and taxon choi...
121
click to vote
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
102
Voted
AI
1998
Springer
14 years 11 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...