Sciweavers

CORR
2010
Springer
70views Education» more  CORR 2010»
13 years 3 months ago
Computation in Large-Scale Scientific and Internet Data Applications is a Focus of MMDS 2010
A report is provided for the ACM SIGKDD community about the 2010 Workshop on Algorithms for Modern Massive Data Sets (MMDS 2010), its origin in MMDS 2006 and MMDS 2008, and future...
Michael W. Mahoney
CORR
2010
Springer
47views Education» more  CORR 2010»
13 years 3 months ago
Non Abelian Bent Functions
Laurent Poinsot
CORR
2010
Springer
65views Education» more  CORR 2010»
13 years 3 months ago
A Note on Solid Coloring of Pure Simplicial Complexes
We establish a simple generalization of a known result in the plane. The simplices in any pure simplicial complex in Rd may be colored with d+1 colors so that no two simplices tha...
Joseph O'Rourke
CORR
2010
Springer
120views Education» more  CORR 2010»
13 years 3 months ago
Advances in the Biomedical Applications of the EELA Project
In the last years an increasing demand for Grid Infrastructures has result edin several international collaborations. This is the case of the EELA Project, which has brought togeth...
Vicente Hernández, Ignacio Blanquer, Gabrie...
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 3 months ago
Balanced Interval Coloring
We consider the discrepancy problem of coloring n intervals with k colors such that at each point on the line, the maximal difference between the number of intervals of any two co...
Antonios Antoniadis, Falk Hüffner, Pascal Len...
CORR
2010
Springer
194views Education» more  CORR 2010»
13 years 3 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
CORR
2010
Springer
145views Education» more  CORR 2010»
13 years 3 months ago
Dynamic Capitalization and Visualization Strategy in Collaborative Knowledge Management System for EI Process
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
Bolanle Oladejo, Victor Odumuyiwa, Amos David
CORR
2010
Springer
207views Education» more  CORR 2010»
13 years 3 months ago
TILT: Transform Invariant Low-rank Textures
Abstract. In this paper, we show how to efficiently and effectively extract a rich class of low-rank textures in a 3D scene from 2D images despite significant distortion and warpin...
Zhengdong Zhang, Arvind Ganesh, Xiao Liang, Yi Ma
CORR
2010
Springer
114views Education» more  CORR 2010»
13 years 3 months ago
On the Impact of Mutation-Selection Balance on the Runtime of Evolutionary Algorithms
The interplay between the mutation operator and the selection mechanism plays a fundamental role in the behaviour of evolutionary algorithms (EAs). However, this interplay is stil...
Per Kristian Lehre, Xin Yao
CORR
2010
Springer
137views Education» more  CORR 2010»
13 years 3 months ago
Seamless Flow Migration on Smartphones without Network Support
This paper addresses the following question: Is it possible to migrate TCP/IP flows between different networks on modern mobile devices, without infrastructure support or protocol...
Ahmad Rahmati, Clayton Shepard, Chad Tossell, Ange...