1027 search results - page 165 / 206 » Representing and Reasoning with Operational Semantics |
94
Voted
AVI
2010
15 years 2 months ago
2010
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
BILDMED
2007
15 years 2 months ago
2007
This work aims to propose an interactive method for a iconic and textual annotation of digital mammograms. The suggested annotation tool consists of a semantic network to represent...
PVLDB
2010
14 years 11 months ago
2010
Entity linkage is central to almost every data integration and data cleaning scenario. Traditional techniques use some computed similarity among data structure to perform merges a...
101
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
126
click to vote
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...