210 search results - page 32 / 42 » A Formal Theory of Key Conjuring |
113
Voted
AI
2005
Springer
15 years 1 months ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...
125
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
122
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
135
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
112
click to vote
STOC
1993
ACM
15 years 6 months ago
1993
ACM
In this paper, we study the problem of learning in the presence of classification noise in the probabilistic learning model of Valiant and its variants. In order to identify the cl...