Sciweavers

5393 search results - page 497 / 1079
» Spatial Computing with Labels
Sort
View
RTA
2004
Springer
16 years 29 days ago
TORPA: Termination of Rewriting Proved Automatically
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
Hans Zantema
ICPR
2010
IEEE
16 years 29 days ago
Forest Species Recognition Using Color-Based Features
In this work we address the problem of forest species recognition which is a very challenging task and has several potential applications in the wood industry. The first contribu...
Pedro Luiz Paula, Luiz Oliveira, Alceu Britto, R. ...
ICCV
2003
IEEE
16 years 27 days ago
Tracking Articulated Hand Motion with Eigen Dynamics Analysis
This paper introduces the concept of eigen-dynamics and proposes an eigen dynamics analysis (EDA) method to learn the dynamics of natural hand motion from labelled sets of motion ...
Hanning Zhou, Thomas S. Huang
NCA
2003
IEEE
16 years 27 days ago
Adaptive Resource Selection for Grid-Enabled Network Services
Due to the popularity of high-speed networks and advances in packaging and interface technologies, there has been significant efforts for providing high performance applications a...
Byoung-Dai Lee, Jon B. Weissman
ASP
2003
Springer
16 years 26 days ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke