Sciweavers

8437 search results - page 482 / 1688
» Preferences over Sets
Sort
View
CGI
2006
IEEE
16 years 1 months ago
Appearance and Geometry Completion with Constrained Texture Synthesis
A novel approach for appearance and geometry completion over point-sampled geometry is presented in this paper. Based on the result of surface clustering and the given texture samp...
Chunxia Xiao, Wenting Zheng, Yongwei Miao, Yong Zh...
VLDB
2001
ACM
138views Database» more  VLDB 2001»
15 years 11 months ago
A Data Warehousing Architecture for Enabling Service Provisioning Process
In this paper we focus on the following problem in information management: given a large collection of recorded information and some knowledge of the process that is generating th...
Yannis Kotidis
ACISP
1998
Springer
15 years 11 months ago
LITESET: A Light-Weight Secure Electronic Transaction Protocol
Abstract. The past few years have seen the emergence of a large number of proposals for electronic payments over open networks. Among these proposals is the Secure Electronic Trans...
Goichiro Hanaoka, Yuliang Zheng, Hideki Imai
188
Voted
ATAL
2007
Springer
15 years 11 months ago
Interactive dynamic influence diagrams
This paper extends the framework of dynamic influence diagrams (DIDs) to the multi-agent setting. DIDs are computational representations of the Partially Observable Markov Decisio...
Kyle Polich, Piotr J. Gmytrasiewicz
CAV
2006
Springer
141views Hardware» more  CAV 2006»
15 years 10 months ago
SMT Techniques for Fast Predicate Abstraction
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oli...