7690 search results - page 141 / 1538 » On the semantics of informational independence |
167
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
There has recently been an upsurge of interest in the possibilities of combining structured data and ad-hoc information retrieval from traditional hypertext. In this experiment, w...
141
click to vote
ELPUB
2006
ACM
16 years 11 days ago
2006
ACM
The indexation of documents is a critical step of the information retrieval process and is often a manual task which highly depends on the indexer’s knowledge. We propose to imp...
145
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
We present in this paper a method to insert new concepts in an existing information extraction system based on a conceptual graph architecture. We use verb patterns as conceptual s...
155
click to vote
NDJFL
2000
15 years 6 months ago
2000
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...
146
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...