5809 search results - page 255 / 1162 » On Quantifying Semantic Information |
198
click to vote
GIR
2006
ACM
16 years 20 days ago
2006
ACM
Retrieving data based not only on key words is a challenge. We worked on semi-structured data (cultural heritage corpora). Our project aimed at getting the most relevant text-unit...
156
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...
214
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
216
click to vote
ISTA
2008
15 years 8 months ago
2008
Abstract. Integration is one of the pivotal concepts with respect to analyzing, designing and evaluating information systems. Integrating software components as well as integrating...
143
Voted
BIS
2009
15 years 7 months ago
2009
Since the Internet found its way into daily life, placing product information at the user's disposal has become one of its most important tasks. As information sources are ver...