1086 search results - page 58 / 218 » Event Structures with Symmetry |
ASM
2008
ASM
14 years 2 days 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
13 years 11 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...
CVPR
2012
IEEE
12 years 14 days 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...
VIS
2004
IEEE
14 years 11 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...
CVPR
2008
IEEE
15 years 2 days 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...