Sciweavers

1995 search results - page 91 / 399
» From Data Flow Networks to Process Algebras
Sort
View
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
SP
2009
IEEE
128views Security Privacy» more  SP 2009»
15 years 11 months ago
Quantifying Information Leaks in Outbound Web Traffic
As the Internet grows and network bandwidth continues to increase, administrators are faced with the task of keeping confidential information from leaving their networks. Today’...
Kevin Borders, Atul Prakash
CIDR
2009
181views Algorithms» more  CIDR 2009»
15 years 5 months ago
The Case for RodentStore: An Adaptive, Declarative Storage System
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
Philippe Cudré-Mauroux, Eugene Wu, Samuel M...
NIPS
2003
15 years 5 months ago
GPPS: A Gaussian Process Positioning System for Cellular Networks
In this article, we present a novel approach to solving the localization problem in cellular networks. The goal is to estimate a mobile user’s position, based on measurements of...
Anton Schwaighofer, Marian Grigoras, Volker Tresp,...
ICIP
1998
IEEE
16 years 5 months ago
A Neural Network Approach for Reconstructing Surface Shape from Shading
In this work, a framework for the reconstruction of smooth surface shapes from shading images is presented. The method is based on using a backpropagationbased neural network for ...
Jezekiel Ben-Arie, Dibyendu Nandy