4190 search results - page 73 / 838 » Type Class Directives |
109
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
119
Voted
ICARCV
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper proposes a set of methods for building informative and robust feature point representations, used for accurately labeling points in a 3D point cloud, based on the typ...
137
click to vote
CC
2005
Springer
15 years 4 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
85
Voted
CLEF
2010
Springer
15 years 3 months ago
2010
Springer
In this task 2,000 patents in three languages (English, French and German) were to be classified among approximately 600 categories. We used a classifier based on neural networks ...
105
click to vote
GLOBECOM
2010
IEEE
15 years 11 days ago
2010
IEEE
Abstract--Monitoring the health of a sensor network is important for maintaining the health and normal operation of the network. For large-scale cost-effective monitoring, using in...