Sciweavers

3207 search results - page 387 / 642
» A Semantics for HTN Methods
Sort
View
ICCS
2005
Springer
16 years 7 days ago
Consistent Spherical Parameterization
Many applications benefit from surface parameterization, including texture mapping, morphing, remeshing, compression, object recognition, and detail transfer, because processing i...
Arul Asirvatham, Emil Praun, Hugues Hoppe
NLDB
2004
Springer
16 years 2 days ago
Acquiring Selectional Preferences from Untagged Text for Prepositional Phrase Attachment Disambiguation
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...
Hiram Calvo, Alexander F. Gelbukh
PCM
2004
Springer
105views Multimedia» more  PCM 2004»
16 years 2 days ago
Multimedia Integration for Cooking Video Indexing
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...
Reiko Hamada, Koichi Miura, Ichiro Ide, Shin'ichi ...
193
Voted
RTA
2004
Springer
16 years 1 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
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
16 years 1 days ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
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...
Arnaud Venet