805 search results - page 83 / 161 » On the Semantics of Conditional Commitment |
VL
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper reports on the phenomenon that may be called "derivative meaning," where the basic semantic conventions for certain graphical representation systems give rise...
104
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
120
click to vote
TCSV
2008
14 years 11 months ago
2008
Wedding is one of the most important ceremonies in our lives. It symbolizes the birth and creation of a new family. In this paper, we present a system for automatically segmenting ...
170
click to vote
IJCV
2012
13 years 2 months ago
2012
The Hierarchical Conditional Random Field (HCRF) model have been successfully applied to a number of image labeling problems, including image segmentation. However, existing HCRF m...
217
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract-- When dealing with massive quantities of data, topk queries are a powerful technique for returning only the k most relevant tuples for inspection, based on a scoring func...