4581 search results - page 702 / 917 » Computing Transformation Semigroups |
179
click to vote
COLCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
Telepointers are a real-time groupware interface feature to indicate where other users are pointing. None of existing telepointer techniques, however, is capable of tracking the r...
208
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
The segmentation of anatomical structures has been traditionally formulated as a perceptual grouping task, and solved through clustering and variational approaches. However, such ...
193
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
154
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
150
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...