1073 search results - page 130 / 215 » Reasoning about Continuous Processes |
189
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Currently, the PDB contains approximately 29,000 protein structures comprising over 70,000 experimentally determined three-dimensional structures of over 5,000 differe...
178
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
We address the problem of collecting a database of "common-sense facts" using a computer game. Informally, a common-sense fact is a true statement about the world that i...
145
click to vote
LFCS
2007
Springer
16 years 12 days ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
168
click to vote
POLICY
2007
Springer
16 years 12 days ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
166
click to vote
SAINT
2006
IEEE
16 years 8 days ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...