Sciweavers

870 search results - page 55 / 174
» Constructions for Difference Triangle Sets
Sort
View
IMAGING
2004
13 years 10 months ago
Tensor Based Feature Detection for Color Images
Extending differential-based operations to color images is hindered by the multi-channel nature of color images. The derivatives in different channels can point in opposite direct...
Joost van de Weijer, Theo Gevers
IMAGING
2001
13 years 10 months ago
Color Calibrated High Dynamic Range Imaging with ICC Profiles
High dynamic range (HDR) imaging has become a powerful tool in computer graphics, and is being applied to scenarios like simulation of different film responses, motion blur, and i...
Michael Goesele, Wolfgang Heidrich, Hans-Peter Sei...
TREC
2007
13 years 10 months ago
Query and Document Models for Enterprise Search
: We describe our participation in the TREC 2007 Enterprise track and detail our language modeling-based approaches. For document search, our focus was on estimating a mixture mode...
Krisztian Balog, Katja Hofmann, Wouter Weerkamp, M...
CORR
2008
Springer
126views Education» more  CORR 2008»
13 years 9 months ago
A TLA+ Proof System
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...
SIGIR
2008
ACM
13 years 8 months ago
Semi-supervised spam filtering: does it work?
The results of the 2006 ECML/PKDD Discovery Challenge suggest that semi-supervised learning methods work well for spam filtering when the source of available labeled examples diff...
Mona Mojdeh, Gordon V. Cormack