4047 search results - page 573 / 810 » Some Properties and Some Problems on Set Functors |
182
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
213
click to vote
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
Conventional research on similarity search focuses on measuring the similarity between objects with the same type. However, in many real-world applications, we need to measure the...
174
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
Sample selection bias is a common problem in many real world applications, where training data are obtained under realistic constraints that make them follow a different distribut...
197
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
This paper shows how computational Riemannian manifold can be used to solve several problems in computer vision and graphics. Indeed, Voronoi segmentations and Delaunay graphs comp...
178
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...