4190 search results - page 73 / 838 » Type Class Directives |
117
click to vote
APLAS
2007
ACM
15 years 7 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...
127
Voted
ICARCV
2008
IEEE
15 years 10 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...
149
Voted
CC
2005
Springer
15 years 5 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...
94
Voted
CLEF
2010
Springer
15 years 4 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 ...
116
Voted
GLOBECOM
2010
IEEE
15 years 1 months 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...