1306 search results - page 152 / 262 » A Diagrammatic Approach to Model Completion |
115
Voted
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
105
click to vote
PG
2002
IEEE
15 years 5 months ago
2002
IEEE
An active contour model for parametric curve and surface approximation is presented. The active curve or surface adapts to the model shape to be approximated in an optimization al...
TVLSI
2008
15 years 21 days ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
90
Voted
SOCO
2010
Springer
14 years 11 months ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Many surface computing prototypes have employed gestures created by system designers. Although such gestures are appropriate for early investigations, they are not necessarily ref...