5809 search results - page 92 / 1162 » On Quantifying Semantic Information |
110
click to vote
RIVF
2007
15 years 5 months ago
2007
— Semantic file systems enhance standard file systems with the ability of file searching based on file semantics. The users interact with semantic file systems not only by execut...
111
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We quantify the local information dynamics at each spatiotemporal point in a complex system in terms of each element of computation: information storage, transfer and mod...
136
click to vote
POPL
2010
ACM
16 years 1 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...
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE
