780 search results - page 93 / 156 » Reasoning about sets using redescription mining |
123
click to vote
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
Non-negative tensor factorization (NTF) is a relatively new technique that has been successfully used to extract significant characteristics from polyadic data, such as data in s...
230
Voted
CSL
2011
Springer
14 years 7 months ago
2011
Springer
How much can we infer about the pronunciation of a language – past or present – by observing which words its speakers rhyme? This paper explores the connection between pronunc...
123
click to vote
PKDD
2000
Springer
15 years 4 months ago
2000
Springer
: One way to scale up clustering algorithms is to squash the data by some intelligent compression technique and cluster only the compressed data records. Such compressed data recor...
117
click to vote
MICS
2008
15 years 5 days ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
111
click to vote
ETS
2000
IEEE
15 years 15 days ago
2000
IEEE
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...