Sciweavers

CORR
2011
Springer
141views Education» more  CORR 2011»
14 years 10 months ago
Experimenting with Transitive Verbs in a DisCoCat
Edward Grefenstette, Mehrnoosh Sadrzadeh
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 10 months ago
Lower Bound for Envy-Free and Truthful Makespan Approximation on Related Machines
We study problems of scheduling jobs on related machines so as to minimize the makespan in the setting where machines are strategic agents. In this problem, each job j has a lengt...
Lisa Fleischer, Zhenghui Wang
CORR
2011
Springer
153views Education» more  CORR 2011»
14 years 10 months ago
Exploring New Directions in Iris Recognition
—A new approach in iris recognition based on Circular Fuzzy Iris Segmentation (CFIS) and Gabor Analytic Iris Texture Binary Encoder (GAITBE) is proposed and tested here. CFIS pro...
Nicolaie Popescu-Bodorin
CORR
2011
Springer
154views Education» more  CORR 2011»
14 years 10 months ago
A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation
— This paper shows that the k-means quantization of a signal can be interpreted both as a crisp indicator function and as a fuzzy membership assignment describing fuzzy clusters ...
Nicolaie Popescu-Bodorin
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 10 months ago
A Survey of User-Centric Data Warehouses: From Personalization to Recommendation
Eya Ben Ahmed, Ahlem Nabli, Faïez Gargouri
CORR
2011
Springer
185views Education» more  CORR 2011»
14 years 10 months ago
Distributed SIR-Aware Scheduling in Large-Scale Wireless Networks
Opportunistic scheduling and routing can in principle greatly increase the throughput of decentralized wireless networks, but to be practical such algorithms must do so with small...
Chun-Hung Liu, Jeffrey G. Andrews
208
Voted
CORR
2011
Springer
209views Education» more  CORR 2011»
14 years 10 months ago
Analysis and Improvement of Low Rank Representation for Subspace segmentation
We analyze and improve low rank representation (LRR), the state-of-the-art algorithm for subspace segmentation of data. We prove that for the noiseless case, the optimization mode...
Siming Wei, Zhouchen Lin
186
Voted
CORR
2011
Springer
174views Education» more  CORR 2011»
14 years 10 months ago
Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem
We study the lift-and-project procedures of Lov´asz-Schrijver and Sherali-Adams applied to the standard linear programming relaxation of the traveling salesperson problem with tr...
Thomas Watson
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 10 months ago
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürj...
CORR
2011
Springer
119views Education» more  CORR 2011»
14 years 10 months ago
The Nakamura numbers for computable simple games
Masahiro Kumabe, H. Reiju Mihara