8874 search results - page 111 / 1775 » A New Implementation of Automath |
132
Voted
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
134
Voted
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
This paper introduces a new framework for building digital library collections and contrasts it with existing systems. It describes a radical new step in the development of a widel...
133
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
A new approach is presented for 3D shape recovery of local planar surface patches from two shift/spacevariant defocused images. It is based on a recently proposed technique for in...
165
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we introduce new algorithms for selecting taxon samples from large evolutionary trees, maintaining uniformity and randomness, under certain new constraints on the t...
112
Voted
ADMA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper proposes a new support vector machine (SVM) with a robust loss function for data mining. Its dual optimal formation is also constructed. A gradient based algor...