Sciweavers

1086 search results - page 58 / 218
» Event Structures with Symmetry
Sort
View
ASM
2008
ASM
15 years 6 months ago
The Composition of Event-B Models
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...
Michael Poppleton
ECOOP
2008
Springer
15 years 5 months ago
Ptolemy: A Language with Quantified, Typed Events
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...
Hridesh Rajan, Gary T. Leavens
163
Voted
CVPR
2012
IEEE
13 years 6 months ago
Max-margin early event detectors
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...
Minh Hoai Nguyen, Fernando De la Torre
VIS
2004
IEEE
124views Visualization» more  VIS 2004»
16 years 5 months ago
Constrained Inverse Volume Rendering for Planetary Nebulae
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...
Charles D. Hansen, Gordon L. Kindlmann, Marcus A. ...
CVPR
2008
IEEE
16 years 6 months ago
Image de-fencing
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...
Yanxi Liu, Tamara Belkina, James Hays, Roberto Lub...