Sciweavers

958 search results - page 8 / 192
» Resolving the Micropayment Problem
Sort
View
105
Voted
IWSOS
2009
Springer
15 years 10 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
128
Voted
ESOP
2009
Springer
15 years 7 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
119
Voted
MOBICOM
2010
ACM
15 years 3 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,...
125
Voted
ICASSP
2009
IEEE
15 years 1 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
209
Voted
SIGMOD
2009
ACM
139views Database» more  SIGMOD 2009»
16 years 3 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