Sciweavers

690 search results - page 45 / 138
» Cross-lingual keyword assignment
Sort
View
WWW
2007
ACM
16 years 6 months ago
Page-level template detection via isotonic smoothing
We develop a novel framework for the page-level template detection problem. Our framework is built on two main ideas. The first is the automatic generation of training data for a ...
Deepayan Chakrabarti, Ravi Kumar, Kunal Punera
POPL
2009
ACM
16 years 6 months ago
Static contract checking for Haskell
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
POPL
2009
ACM
16 years 6 months ago
Focusing on pattern matching
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
Neelakantan R. Krishnaswami
SIGGRAPH
2009
ACM
16 years 21 days ago
Multi-touch everywhere!
In this paper, we describe a set of hardware and software tools for creating musical controllers with any flat surface or simple object, such as tables, walls, metallic plates, wo...
Alain Crevoisier, Greg Kellum
ICMCS
2008
IEEE
160views Multimedia» more  ICMCS 2008»
16 years 19 days ago
Automatic semantic annotation for video blogs
In recent years, weblogs (or blogs) have received great popularity worldwide, among which video blogs (or vlogs) are playing an increasingly important role. As vlogs gain in popul...
Xiaoyu Zhang, Changsheng Xu, Jian Cheng, Hanqing L...