5766 search results - page 825 / 1154 » Reverse Engineering of Data |
232
click to vote
ERCIMDL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present MinervaDL, a digital library architecture that supports approximate information retrieval and filtering functionality under a single unifying framework. The a...
143
click to vote
ESWS
2007
Springer
16 years 24 days ago
2007
Springer
Developers of Semantic Web applications face a challenge with respect to the decentralised publication model: where to find statements about encountered resources. The “linked d...
207
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
167
click to vote
FSEN
2007
Springer
16 years 24 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
128
click to vote
FSTTCS
2007
Springer
16 years 24 days ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...