Sciweavers

16616 search results - page 290 / 3324
» Extending Extended Vacuity
Sort
View
ACTA
2005
104views more  ACTA 2005»
15 years 6 months ago
Subtyping for session types in the pi calculus
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
Simon J. Gay, Malcolm Hole
TCS
2008
15 years 6 months ago
On-line construction of compact suffix vectors and maximal repeats
A suffix vector of a string is an index data structure equivalent to a suffix tree. It was first introduced by Monostori et al. in 2001 [9, 10, 11]. They proposed a linear constru...
Élise Prieur, Thierry Lecroq
SIAMJO
2002
83views more  SIAMJO 2002»
15 years 6 months ago
Analysis of Inexact Trust-Region SQP Algorithms
In this paper we extend the design of a class of composite
Matthias Heinkenschloss, Luís N. Vicente
MFCS
2010
Springer
15 years 5 months ago
Persistent Homology under Non-uniform Error
Using ideas from persistent homology, the robustness of a level set of a real-valued function is defined in terms of the magnitude of the perturbation necessary to kill the classe...
Paul Bendich, Herbert Edelsbrunner, Michael Kerber...
SEMWEB
2010
Springer
15 years 4 months ago
AnQL: SPARQLing Up Annotated RDFS
Starting from the general framework for Annotated RDFS which we presented in previous work (extending Udrea et al's Annotated RDF), we address the development of a query langu...
Nuno Lopes 0002, Axel Polleres, Umberto Straccia, ...