2517 search results - page 59 / 504 » Specifying Weak Sets |
IFM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
AAAI
2007
15 years 2 months ago
2007
In semi-supervised learning, a number of labeled examples are usually required for training an initial weakly useful predictor which is in turn used for exploiting the unlabeled e...
105
click to vote
FUIN
2008
14 years 12 months ago
2008
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...
ISVC
2010
Springer
14 years 10 months ago
2010
Springer
We present a novel framework to reliably learn scene entry and exit locations using coherent motion regions formed by weak tracking data. We construct “entities” from weak trac...
112
click to vote
POPL
2009
ACM
15 years 6 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...