4463 search results - page 286 / 893 » computing 2000 |
169
click to vote
IPL
2000
15 years 6 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...
176
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
The problem of designing input signals for optimal generalization in supervised learning is called active learning. In many active learning methods devised so far, the bias of the...
146
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces the XTR public key system. XTR is based on a new method to represent elements of a subgroup of a multiplicative group of a finite field. Application of XTR ...
162
click to vote
DM
2000
15 years 6 months ago
2000
At the 16th British Combinatorial Conference (1997), Cameron introduced a new concept called 2-simultaneous coloring. He used this concept to reformulate a conjecture of Keedwell ...
168
click to vote
TREC
2000
15 years 8 months ago
2000
This paper describes the architecture, operation and results obtained with the Question Answering prototype developed in the Department of Language Processing and Information Syst...