Sciweavers

958 search results - page 8 / 192
» Resolving the Micropayment Problem
Sort
View
IWSOS
2009
Springer
15 years 4 months ago
Resolving the Noxious Effect of Churn on Internet Coordinate Systems
Internet Coordinate Systems (ICS) provide easy and practical latency predictions in the Internet. However, peer dynamics (i.e, churn), which is an inherent property of peer-to-peer...
Bamba Gueye, Guy Leduc
ESOP
2009
Springer
15 years 1 months ago
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
Matthew R. Lakin, Andrew M. Pitts
MOBICOM
2010
ACM
14 years 10 months ago
Retransmission != repeat: simple retransmission permutation can resolve overlapping channel collisions
Collisions in overlapping channels are becoming an increasingly important problem in the deployment of high-speed wireless networks. In this paper, we present Remap, a simple, nov...
Erran L. Li, Kun Tan, Harish Viswanathan, Ying Xu,...
ICASSP
2009
IEEE
14 years 7 months ago
Monaural voiced speech segregation based on elaborate harmonic grouping strategy
Monaural speech segregation is a very challenging problem which has been studied by many researchers. In this paper, we focus on voiced speech segregation. Different strategies ar...
Xueliang Zhang, Wenju Liu, Peng Li, Bo Xu
SIGMOD
2009
ACM
139views Database» more  SIGMOD 2009»
15 years 10 months ago
Detecting and resolving unsound workflow views for correct provenance analysis
views abstract groups of tasks in a workflow into high level composite tasks, in order to reuse sub-workflows and facilitate provenance analysis. However, unless a view is careful...
Peng Sun, Ziyang Liu, Susan B. Davidson, Yi Chen