1517 search results - page 170 / 304 » New Approach To A Class Of Matrices |
118
Voted
PAKDD
1999
ACM
15 years 9 months ago
1999
ACM
Abstract. \Ripple Down Rules (RDR)" Method is one of the promising approaches to directly acquire and encode knowledge from human experts. It requires data to be supplied incr...
136
click to vote
ICLP
1993
Springer
15 years 8 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
215
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
138
click to vote
ESA
2008
Springer
15 years 6 months ago
2008
Springer
A truthful mechanism consists of an algorithm augmented with a suitable payment function which guarantees that the "players" cannot improve their utilities by "chea...
144
click to vote
EMNLP
2008
15 years 6 months ago
2008
This paper explores the use of set expansion (SE) to improve question answering (QA) when the expected answer is a list of entities belonging to a certain class. Given a small set...