187 search results - page 9 / 38 » Generating ultrafilters in a reasonable way |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
The movement of music from physical discs to digital resources managed on a computer has had an effect on the listening habits of users. We explore using the potential of the inna...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
ACII
2011
Springer
12 years 7 months ago
2011
Springer
We propose a computational framework for the recognition of suspense and dramatic arc in stories. Suspense is an affective response to narrative structure that accompanies the redu...
TDP
2010
13 years 6 months ago
2010
Abstract. Several national statistical agencies are now releasing partially synthetic, public use microdata. These comprise the units in the original database with sensitive or ide...
ICANN
2005
Springer
14 years 1 months ago
2005
Springer
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...