Sciweavers

3804 search results - page 520 / 761
» From Here to There
Sort
View
JCDL
2011
ACM
226views Education» more  JCDL 2011»
14 years 9 months ago
Measuring historical word sense variation
We describe here a method for automatically identifying word sense variation in a dated collection of historical books in a large digital library. By leveraging a small set of kno...
David Bamman, Gregory Crane
RTA
2011
Springer
14 years 9 months ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
ICCV
2011
IEEE
14 years 6 months ago
Learning a Category Independent Object Detection Cascade
Cascades are a popular framework to speed up object detection systems. Here we focus on the first layers of a category independent object detection cascade in which we sample a l...
Esa Rahtu, Juho Kannala, Matthew Blaschko
ADBIS
2011
Springer
275views Database» more  ADBIS 2011»
14 years 6 months ago
An Analysis of the Structure and Dynamics of Large-Scale Q/A Communities
Abstract. In recent years, the World Wide Web (WWW) has transformed to a gigantic social network where people interact and collaborate in diverse online communities. By using Web 2...
Daniel Schall, Florian Skopik
ATAL
2011
Springer
14 years 6 months ago
Quality guarantees for region optimal DCOP algorithms
k- and t-optimality algorithms [9, 6] provide solutions to DCOPs that are optimal in regions characterized by its size and distance respectively. Moreover, they provide quality gu...
Meritxell Vinyals, Eric Shieh, Jesús Cerqui...