Sciweavers

587 search results - page 63 / 118
» Theory of matching pursuit
Sort
View
APAL
2008
112views more  APAL 2008»
15 years 59 min ago
A domain model characterising strong normalisation
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
Ulrich Berger
CORR
2010
Springer
70views Education» more  CORR 2010»
14 years 6 months ago
Bulk File Download Throughput in a Single Station WLAN with Nonzero Propagation Delay
We analyze TCP-controlled bulk file transfers in a single station WLAN with nonzero propagation delay between the file server and the WLAN. Our approach is to model the flow of pac...
B. K. Pradeepa, Joy Kuri
ATAL
2009
Springer
15 years 6 months ago
Manipulation and gender neutrality in stable marriage procedures
The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has ...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
TKDE
2008
108views more  TKDE 2008»
14 years 11 months ago
Grid Service Discovery with Rough Sets
The computational grid is rapidly evolving into a service-oriented computing infrastructure that facilitates resource sharing and large-scale problem solving over the Internet. Ser...
Maozhen Li, Bin Yu, Omer F. Rana, Zidong Wang
AAMAS
2011
Springer
14 years 7 months ago
Manipulation complexity and gender neutrality in stable marriage procedures
The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...