2291 search results - page 395 / 459 » Representational Reasoning and Verification |
169
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
152
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
145
click to vote
NLDB
2004
Springer
15 years 10 months ago
2004
Springer
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...
154
click to vote
NMR
2004
Springer
15 years 10 months ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
143
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...