3342 search results - page 315 / 669 » Automating Abstract Interpretation |
170
click to vote
ICLP
2005
Springer
16 years 4 days 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...
199
click to vote
LPAR
2005
Springer
16 years 4 days 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...
201
click to vote
MICCAI
2005
Springer
16 years 4 days 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...
173
click to vote
SEMWEB
2005
Springer
16 years 3 days 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...
183
click to vote
CIARP
2004
Springer
16 years 1 days 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...