Sciweavers

1490 search results - page 181 / 298
» Interactive semantics
Sort
View
110
Voted
HICSS
2010
IEEE
157views Biometrics» more  HICSS 2010»
15 years 9 months ago
Tag Clusters as Information Retrieval Interfaces
The paper presents our design of a next generation information retrieval system based on tag co-occurrences and subsequent clustering. We help users getting access to digital data...
Kathrin Knautz, Simone Soubusta, Wolfgang G. Stock
COMPSAC
1998
IEEE
15 years 6 months ago
Tools for the Knowledge Analyst: An Information Superiority Visionary Demonstration
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
Mark T. Maybury
ICFP
2005
ACM
16 years 2 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
TPHOL
2005
IEEE
15 years 7 months ago
A Structured Set of Higher-Order Problems
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
Christoph Benzmüller, Chad E. Brown
COLING
2002
15 years 2 months ago
Building a Bilingual WordNet-Like Lexicon: The New Approach and Algorithms
A bilingual concept MRD is of significance for IE, MT, WSD and the like. However, it is reasonably difficult to build such a lexicon for there exist two ontologies, also, the evol...
Yang Liu, Shiwen Yu, Jiangsheng Yu