341 search results - page 34 / 69 » Learning to satisfy |
CSCWD
2005
Springer
14 years 1 months ago
2005
Springer
More and more people are interested in Internet-based e-learning. Internet-based e-learning has become one very important arena of modern education system. This paper is based our ...
WEBI
2010
Springer
13 years 5 months ago
2010
Springer
High-dimensional data usually incur learning deficiencies and computational difficulties. We present a novel semi-supervised dimensionality reduction technique that embeds high-dim...
UAI
2000
13 years 9 months ago
2000
This paper is about the use of metric data structures in high-dimensionalor non-Euclidean space to permit cached sufficientstatisticsaccelerationsof learning algorithms. It has re...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
A requirement common to most dynamic vision applications is the ability to track objects in a sequence of frames. This problem has been extensively studied in the past few years, ...