6258 search results - page 999 / 1252 » Applied Text Generation |
125
click to vote
SP
2003
IEEE
15 years 10 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
149
click to vote
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
127
click to vote
HT
2003
ACM
15 years 10 months ago
2003
ACM
Analogy-based estimation has, over the last 15 years, and particularly over the last 7 years, emerged as a promising approach with comparable accuracy to, or better than, algorith...
110
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
We will present a novel two-step fuzzy translation technique for cross-lingual spelling variants. In the first stage, transformation rules are applied to source words to render th...
115
Voted
ACG
2003
Springer
15 years 10 months ago
2003
Springer
Abstract Opponent-Model search is a game-tree search method that explicitly uses knowledge of the opponent. There is some risk involved in using Opponent-Model search. Both the pre...