搜索结果: 1-6 共查到“计算机科学技术 presence”相关记录6条 . 查询时间(0.046 秒)
A laudable trend of the past two decades has been the increased use of denotational semantics to guide the design and implementation of programming languages.Semantics-driven language design has produ...
Piecewise Image Registration in the Presence of Multiple Large Motions
Registration Large Motions
2016/5/24
We present a technique for computing a dense pixel correspondence
between two images of a scene containing multiple
large, rigid motions. We model each motion with either
a homography (for planar o...
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
equational reasoning exceptions program optimization program transformation
2016/5/24
Language designers and implementors have avoided specifying and preserving the meaning of programs that produce errors. This is apparently because being forced to preserve error behavior severely limi...
Protection Level Calculation in the Presence of Heavy Tail Errors Using Measurement Residuals
Protection Level Calculation Heavy Tail Errors Measurement Residuals
2015/6/26
In safety-of-life applications of satellite navigation, the Protection Level (PL) equation translates what is known about the pseudorange errors into a reliable limit on the positioning error. The cur...
A Bucket-Based Approach to Query Rewriting Using Views in the Presence of Inclusion Dependencies
A Bucket-Based Approach Query Rewriting Views in the Presence Inclusion Dependencies
2014/3/12
A number of algorithms based on the use of either buckets or inverse rules have been proposed to address the problem of query rewriting using views. Some inverse rule-based algorithms have considered ...
Understanding and Mitigating Display and Presence Disparity in Mixed Presence Groupware
Understanding Mitigating Display Presence Disparity Mixed Presence Groupware
2014/3/12
Mixed Presence Groupware (MPG) supports both co-located and distributed participants working over a shared visual workspace. It does so by connecting multiple single-display groupware workspaces toget...