Sciweavers

60 search results - page 10 / 12
» Some extensions of the Cauchy-Davenport theorem
Sort
View
JGO
2008
85views more  JGO 2008»
13 years 7 months ago
On the solution existence of pseudomonotone variational inequalities
Abstract. As shown by Thanh-Hao [11], the solution existence results established by Facchinei and Pang [5, Vol. I, Prop. 2.2.3 and Theorem 2.3.4] for variational inequalities in ge...
B. T. Kien, J. C. Yao, N. D. Yen
JSYML
2008
72views more  JSYML 2008»
13 years 7 months ago
Perfect trees and elementary embeddings
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
Sy-David Friedman, Katherine Thompson
WWW
2010
ACM
14 years 2 months ago
Context-aware citation recommendation
When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which ca...
Qi He, Jian Pei, Daniel Kifer, Prasenjit Mitra, C....
TLCA
2009
Springer
14 years 1 months ago
Parametricity for Haskell with Imprecise Error Semantics
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
Florian Stenger, Janis Voigtländer
STACS
2010
Springer
14 years 2 months ago
Beyond Bidimensionality: Parameterized Subexponential Algorithms on Directed Graphs
In 2000 Alber et al. [SWAT 2000 ] obtained the first parameterized subexponential algorithm on undirected planar graphs by showing that k-DOMINATING SET is solvable in time 2O( ...
Frederic Dorn, Fedor V. Fomin, Daniel Lokshtanov, ...