1086 search results - page 58 / 218 » Event Structures with Symmetry |
107
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
153
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
The need for early detection of temporal events from sequential data arises in a wide spectrum of applications ranging from human-robot interaction to video security. While tempor...
118
click to vote
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
Determining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, b...
132
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
We introduce a novel image segmentation algorithm that uses translational symmetry as the primary foreground/background separation cue. We investigate the process of identifying a...