CASCON
2010
13 years 4 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
FGCS
2010
13 years 5 months ago
2010
FGCS
2010
13 years 5 months ago
2010
FGCS
2010
13 years 5 months ago
2010
FFA
2010
13 years 5 months ago
2010
Various results on parity of the number of irreducible factors of given polynomials over finite fields have been obtained in the recent literature. Those are mainly based on Swan&...
FFA
2010
13 years 5 months ago
2010
Let p be prime and Zpn a degree n unramified extension of the ring of p-adic integers Zp. In this paper we give an overview of some very fast deterministic algorithms for common o...
ERCIMDL
2010
Springer
13 years 5 months ago
2010
Springer
Extracting titles from a PDFs full text is an important task in information retrieval to identify PDFs. Existing approaches apply complicated and expensive (in terms of calculating...
ERCIMDL
2010
Springer
13 years 5 months ago
2010
Springer
This research-in-progress paper presents a new approach called Link Proximity Analysis (LPA) for identifying related web pages based on link analysis. In contrast to current techni...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We consider generic curves in R2 , i.e. generic C1 functions f : S1 R2 . We analyze these curves through the persistent homology groups of a filtration induced on S1 by f. In parti...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We propose a simple yet rich model to extend the notions of Nash equilibria and correlated equilibria of strategic games to the quantum setting, in which we then study the relatio...