Sciweavers

1496 search results - page 206 / 300
» Tools for Extracting and Structuring Knowledge from Texts
Sort
View
LFCS
2007
Springer
15 years 10 months ago
Realizations and LP
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
Melvin Fitting
CHI
2006
ACM
16 years 4 months ago
Improving accessibility of the web with a computer game
Images on the Web present a major accessibility issue for the visually impaired, mainly because the majority of them do not have proper captions. This paper addresses the problem ...
Luis von Ahn, Shiry Ginosar, Mihir Kedia, Ruoran L...
146
Voted
CHI
2005
ACM
16 years 4 months ago
Programmatic semantics for natural language interfaces
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
Hugo Liu, Henry Lieberman
ATAL
2005
Springer
15 years 9 months ago
From team plan to individual plans: a petri net-based approach
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
Olivier Bonnet-Torrés, Catherine Tessier
ICDE
2010
IEEE
251views Database» more  ICDE 2010»
16 years 3 months ago
Viewing a World of Annotations through AnnoVIP
The proliferation of electronic content has notably lead to the apparition of large corpora of interrelated structured documents (such as HTML and XML Web pages) and semantic annot...
Konstantinos Karanasos, Spyros Zoupanos