3207 search results - page 387 / 642 » A Semantics for HTN Methods |
159
click to vote
ICCS
2005
Springer
16 years 18 hour ago
2005
Springer
Many applications benefit from surface parameterization, including texture mapping, morphing, remeshing, compression, object recognition, and detail transfer, because processing i...
227
click to vote
NLDB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...
162
click to vote
PCM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We have been working on the integration of video with supplementary documents, such as cooking programs. We propose an integration system that performs semantic segmentat...
180
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
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...
172
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...