3342 search results - page 315 / 669 » Automating Abstract Interpretation |
134
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
154
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
163
click to vote
MICCAI
2005
Springer
15 years 9 months ago
2005
Springer
Dynamic contrast-enhanced 4-D MR renography has the potential for broad clinical applications, but suffers from respiratory motion that limits analysis and interpretation. Since ea...
137
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
135
click to vote
CIARP
2004
Springer
15 years 9 months ago
2004
Springer
The interpretation by a human of a scene in video material is heavily influenced by the context of the scene. As a result, researchers have recently made more use of context in th...