4218 search results - page 467 / 844 » Complete sets of cooperations |
204
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” ...
211
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 ...
155
click to vote
AML
2002
15 years 7 months ago
2002
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
189
click to vote
AUTOMATICA
2002
15 years 7 months ago
2002
This paper deals with the frequency domain properties of an ellipsoidal family of rational functions, i.e. a family of rational functions whose coefficients depend affinely on an ...
180
click to vote
IJON
2000
15 years 7 months ago
2000
In this paper we propose an approach to variable selection that uses a neural-network model as the tool to determine which variables are to be discarded. The method performs a bac...