4762 search results - page 870 / 953 » About the use of protein models |
140
click to vote
SIGSOFT
2007
ACM
16 years 1 months 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...
126
click to vote
WWW
2003
ACM
16 years 1 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
118
click to vote
PODC
2009
ACM
16 years 1 months ago
2009
ACM
Global consistency or Byzantine Agreement (BA) and reliable point-to-point communication are two of the most important and well-studied problems in distributed computing. Informal...
137
click to vote
KDD
2003
ACM
16 years 1 months ago
2003
ACM
Models for the processes by which ideas and influence propagate through a social network have been studied in a number of domains, including the diffusion of medical and technolog...
110
click to vote
CHI
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we describe Common Sense Investing (CSI), an interactive investment tool that uses a knowledge base of common sense statements in conjunction with domain knowledge ...