220 search results - page 36 / 44 » Tools for Representing Problems and the Knowledge Required t... |
ICDM
2009
IEEE
14 years 3 months ago
2009
IEEE
—With the vast increase in collection and storage of data, the problem of data summarization is most critical for effective data management. Since much of this data is categorica...
LPNMR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
AAAI
2004
13 years 10 months ago
2004
Traditionally, text classifiers are built from labeled training examples. Labeling is usually done manually by human experts (or the users), which is a labor intensive and time co...
SIGCSE
2002
ACM
13 years 8 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...