Sciweavers

923 search results - page 71 / 185
» On the Computation of Relational View Complements
Sort
View
TSMC
2010
15 years 26 days ago
Incomplete Multigranulation Rough Set
The original rough-set model is primarily concerned with the approximations of sets described by a single equivalence relation on a given universe. With granular computing point of...
Yuhua Qian, Jiye Liang, Chuangyin Dang
CHI
2004
ACM
16 years 6 months ago
Transcendent communication: location-based guidance for large-scale public spaces
Many studies have been conducted on supporting communication in home and office spaces, but relatively few studies have explored supporting communication in large-scale public spa...
Hideyuki Nakanishi, Satoshi Koizumi, Toru Ishida, ...
ECCV
2004
Springer
16 years 8 months ago
Multiscale Inverse Compositional Alignment for Subdivision Surface Maps
Abstract. We propose an efficient alignment method for textured DooSabin subdivision surface templates. A variation of the inverse compositional image alignment is derived by intro...
Igor Guskov
NCA
2008
IEEE
16 years 16 days ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
EKAW
2006
Springer
15 years 9 months ago
Role Organization Model in Hozo
The establishment of a computational framework of roles contributes effectively to the management of instance models because it provides us with a useful policy for treatment of vi...
Eiichi Sunagawa, Kouji Kozaki, Yoshinobu Kitamura,...