Sciweavers

1620 search results - page 13 / 324
» eg 2010
Sort
View
SIGIR
2010
ACM
13 years 7 months ago
A picture is worth a thousand search results: finding child-oriented multimedia results with collAge
We present a simple and effective approach to complement search results for children's web queries with child-oriented multimedia results, such as coloring pages and music sh...
Karl Gyllstrom, Marie-Francine Moens
AAECC
2010
Springer
114views Algorithms» more  AAECC 2010»
13 years 7 months ago
Termination of narrowing via termination of rewriting
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
Naoki Nishida, Germán Vidal
CIKM
2010
Springer
13 years 6 months ago
Evaluating, combining and generalizing recommendations with prerequisites
We consider the problem of recommending the best set of k items when there is an inherent ordering between items, expressed as a set of prerequisites (e.g., the movie ‘Godfather...
Aditya G. Parameswaran, Hector Garcia-Molina, Jeff...
PPDP
2010
Springer
13 years 5 months ago
Dimensions in program synthesis
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
Sumit Gulwani
PQCRYPTO
2010
176views Cryptology» more  PQCRYPTO 2010»
13 years 5 months ago
Practical Power Analysis Attacks on Software Implementations of McEliece
The McEliece public-key cryptosystem is based on the fact that decoding unknown linear binary codes is an NP-complete problem. The interest on implementing post-quantum cryptograph...
Stefan Heyse, Amir Moradi, Christof Paar