4581 search results - page 549 / 917 » Computing Transformation Semigroups |
229
click to vote
EMMCVPR
2005
Springer
16 years 29 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...
199
click to vote
FOSSACS
2005
Springer
16 years 29 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 ...
180
click to vote
GD
2005
Springer
16 years 29 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...
235
click to vote
GW
2005
Springer
16 years 29 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...
177
click to vote
ICALP
2005
Springer
16 years 29 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...