4581 search results - page 549 / 917 » Computing Transformation Semigroups |
211
click to vote
EMMCVPR
2005
Springer
16 years 9 days ago
2005
Springer
We consider the use of medial surfaces to represent symmetries of cts. This allows for a qualitative abstraction based on a directed acyclic graph of components and also a degree o...
175
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
162
Voted
GD
2005
Springer
16 years 8 days ago
2005
Springer
TreePlus is a graph browsing technique based on a tree-style layout. It shows the missing graph structure using interaction techniques and enables users to start with a specific no...
207
click to vote
GW
2005
Springer
16 years 8 days ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
164
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
We reduce the approximation factor for Vertex Cover to 2 − Θ( 1√ log n ) (instead of the previous 2 − Θ(log log n log n ), obtained by Bar-Yehuda and Even [2], and by Moni...