Sciweavers

7971 search results - page 31 / 1595
» On unbounded operators and applications
Sort
View
120
Voted
SIAMCOMP
2010
109views more  SIAMCOMP 2010»
14 years 7 months ago
Analysis of Delays Caused by Local Synchronization
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
Julia Lipman, Quentin F. Stout
SODA
2012
ACM
297views Algorithms» more  SODA 2012»
13 years 3 months ago
Constant factor approximation algorithm for the knapsack median problem
We give a constant factor approximation algorithm for the following generalization of the k-median problem. We are given a set of clients and facilities in a metric space. Each fa...
Amit Kumar
66
Voted
MLQ
2006
68views more  MLQ 2006»
15 years 19 days ago
On the proof theory of type two functionals based on primitive recursive operations
This paper is a companion to work of Feferman, J
David Steiner, Thomas Strahm
CBMS
2008
IEEE
15 years 7 months ago
Restoring the Patient Control over Her Medical History
Paper-based folders have been widely used to coordinate cares in medical-social networks, but they introduce some burning issues (e.g. privacy protection, remote access to the fol...
Nicolas Anciaux, Mehdi Benzine, Luc Bouganim, K&ea...
PODS
1997
ACM
124views Database» more  PODS 1997»
15 years 4 months ago
Languages for Relational Databases over Interpreted Structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin