1102 search results - page 11 / 221 » Interactive Refinement of a Knowledge Base |
DLOG
2011
13 years 15 days ago
2011
We propose a method for controlling the quality of (semi-)automatically acquired axioms. We combine the manual inspection of axioms with automatic evaluation decisions and propose ...
IACR
2011
12 years 8 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...
COLING
1996
13 years 10 months ago
1996
This work attempts to provide a robust Thai morphological analyzer which can automatically assign the correct part-of-speech tag to the correct word with time and space efficiency...
CHI
2011
ACM
13 years 17 days ago
2011
ACM
There is a wealth of theoretical knowledge about the developmental abilities and skills of children. However, this knowledge is not readily accessible to designers of interactive ...
IJACTAICIT
2010
13 years 6 months ago
2010
Amidst the proliferation of different resources available on the Grid, today, it is vital to optimally discover the appropriate resource from amongst a repository of the resources...