Sciweavers

4218 search results - page 452 / 844
» Complete sets of cooperations
Sort
View
3DPVT
2004
IEEE
131views Visualization» more  3DPVT 2004»
15 years 11 months ago
Viewpoint Consistent Texture Synthesis
The purpose of this work is to synthesize textures of rough, real world surfaces under freely chosen viewing and illumination directions. Moreover, such textures are produced for ...
Alexander Neubeck, Alexey Zalesny, Luc J. Van Gool
AIS
2004
Springer
15 years 11 months ago
Timed I/O Test Sequences for Discrete Event Model Verification
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
Ki Jung Hong, Tag Gon Kim
APPROX
2006
Springer
106views Algorithms» more  APPROX 2006»
15 years 11 months ago
A Tight Lower Bound for the Steiner Point Removal Problem on Trees
Gupta (SODA'01) considered the Steiner Point Removal (SPR) problem on trees. Given an edge-weighted tree T and a subset S of vertices called terminals in the tree, find an edg...
Hubert T.-H. Chan, Donglin Xia, Goran Konjevod, An...
COOPIS
2004
IEEE
15 years 11 months ago
EMMA - A Query Algebra for Enhanced Multimedia Meta Objects
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
Sonja Zillner, Utz Westermann, Werner Winiwarter
DEON
2004
Springer
15 years 11 months ago
Conflicting Imperatives and Dyadic Deontic Logic
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...
Jörg Hansen