Sciweavers

1742 search results - page 120 / 349
» A Framework for Network Modeling in Prolog
Sort
View
111
Voted
EUROCAST
2005
Springer
84views Hardware» more  EUROCAST 2005»
15 years 9 months ago
A Tractable Subclass of Fuzzy Constraint Networks
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...
Alfonso Bosch, Francisco Guil, Roque Marín
CHARME
2001
Springer
92views Hardware» more  CHARME 2001»
15 years 7 months ago
Induction-Oriented Formal Verification in Symmetric Interconnection Networks
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
Eric Gascard, Laurence Pierre
DCOSS
2008
Springer
15 years 6 months ago
On the Urban Connectivity of Vehicular Sensor Networks
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
Hugo Conceição, Michel Ferreira, Jo&...
TON
2008
105views more  TON 2008»
15 years 4 months ago
Supporting multiple protection strategies in optical networks
This paper develops a framework to support multiple protection strategies in optical networks, which is in general applicable to any connection-oriented network. The capacity avail...
Srinivasan Ramasubramanian
121
Voted
ISNN
2005
Springer
15 years 9 months ago
Neural Network Based Online Feature Selection for Vehicle Tracking
Abstract. Aiming at vehicle tracking with a single moving camera for autonomous driving, this paper presents a strategy of online feature selection combined with related process fr...
Tie Liu, Nanning Zheng, Hong Cheng