Sciweavers

6976 search results - page 1151 / 1396
» The Oil Searching Problem
Sort
View
CIKM
2007
Springer
16 years 1 months ago
Spam filtering for short messages
We consider the problem of content-based spam filtering for short text messages that arise in three contexts: mobile (SMS) communication, blog comments, and email summary informa...
Gordon V. Cormack, José María G&oacu...
CP
2007
Springer
16 years 1 months ago
Groupoids and Conditional Symmetry
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...
Ian P. Gent, Tom Kelsey, S. A. Linton, J. Pearson,...
CSL
2007
Springer
16 years 1 months ago
Incorporating Tables into Proofs
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
Dale Miller, Vivek Nigam
CSR
2007
Springer
16 years 1 months ago
Maximal Intersection Queries in Randomized Graph Models
Consider a family of sets and a single set, called query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Strict time cons...
Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka
ECAL
2007
Springer
16 years 1 months ago
Neuroevolution of Agents Capable of Reactive and Deliberative Behaviours in Novel and Dynamic Environments
Both reactive and deliberative qualities are essential for a good action selection mechanism. We present a model that embodies a hybrid of two very different neural network archit...
Edward Robinson, Timothy Ellis, Alastair Channon
« Prev « First page 1151 / 1396 Last » Next »