Sciweavers

1742 search results - page 181 / 349
» A Framework for Network Modeling in Prolog
Sort
View
EPIA
2007
Springer
15 years 10 months ago
GRASPER
In this paper we present GRASPER, a graph constraint solver, based on set constraints. We specify GRASPER’s constraints and we make use of our framework to model a problem in the...
Ruben Duarte Viegas, Francisco Azevedo
ICC
2007
IEEE
154views Communications» more  ICC 2007»
15 years 11 months ago
On Data Fusion and Lifetime Constraints in Wireless Sensor Networks
—The problems of energy efficient sensor network configuration and local fusion of sensed data have been addressed separately in the previous works. In this paper, we propose t...
Xiaodong Wang, Demin Wang, Yun Wang, Dharma P. Agr...
ISCAS
2006
IEEE
130views Hardware» more  ISCAS 2006»
15 years 10 months ago
Multi-source multi-path video streaming over wireless mesh networks
Abstract— In this paper, we propose a multi-source multipath video streaming system to support concurrent Video-onDemand (VoD) services over Wireless Mesh Networks (WMNs), and ap...
Danjue Li, Qian Zhang, Chen-Nee Chuah, S. J. Ben Y...
KR
2010
Springer
15 years 9 months ago
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we ...
Martin Gebser, Carito Guziolowski, Mihail Ivanchev...
EKAW
2006
Springer
15 years 6 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez