1757 search results - page 337 / 352 » Concepts From Time Series |
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
The concept of the Bayesian optimal single threshold is a well established and widely used classification technique. In this paper, we prove that when spatial cohesion is assumed ...
ICML
2002
IEEE
15 years 10 months ago
2002
IEEE
During the last years, the use of string kernels that compare documents has been shown to achieve good results on text classification problems. In this paper we introduce the appl...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
The asymmetry of activity in virtual communities is of great interest. While participation in the activities of virtual communities is crucial for a community's survival and ...
167
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...