4066 search results - page 460 / 814 » Almost Complete Sets |
188
click to vote
JSYML
2006
15 years 7 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
173
click to vote
PRL
2008
15 years 7 months ago
2008
A novel method of snakes with shape prior is presented in this paper. We propose to add a new force which makes the curve evolve to particular shape corresponding to a template to...
182
click to vote
IMAMCI
2007
15 years 7 months ago
2007
In this paper, we present a geometric method for describing the effects of the delay induced uncertainty on the stability of a standard Smith Predictor control scheme. The method...
202
click to vote
INFORMATICALT
2007
15 years 7 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
208
click to vote
JMM2
2007
15 years 7 months ago
2007
—The paper discusses the end-to-end QoS provisioning for scalable video streaming traffic delivery over heterogeneous IP/UMTS networks. A prototype architecture is proposed, and ...