16190 search results - page 2850 / 3238 » Applicative programming with effects |
136
click to vote
JCS
2010
14 years 10 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
182
click to vote
JDCTA
2010
14 years 10 months ago
2010
Hand detection is a fundamental step in many practical applications as gesture recognition, video surveillance, and multimodal machine interface and so on. The aim of this paper i...
133
click to vote
JDCTA
2010
14 years 10 months ago
2010
Encoding can express the hierarchical relationship in the area of mining the multi-level sequential pattern, up to now all the algorithms of which find frequent sequences just acc...
120
click to vote
JDCTA
2010
14 years 10 months ago
2010
Digital signage, sometimes known as a Digital Communications Network (DCN) or private plasma screen network, has been little researched to date. This paper puts forward the view t...
184
click to vote
JMLR
2010
14 years 10 months ago
2010
In this paper, we propose a general framework for sparse semi-supervised learning, which concerns using a small portion of unlabeled data and a few labeled data to represent targe...