Sciweavers

3818 search results - page 496 / 764
» Word Problems on Compressed Words
Sort
View
IANDC
2011
91views more  IANDC 2011»
15 years 1 months ago
Queries on Xml streams with bounded delay and concurrency
Query answering algorithms on Xml streams check answer candidates on the fly in order to avoid the unnecessary buffering whenever possible. The delay and concurrency of a query ...
Olivier Gauwin, Joachim Niehren, Sophie Tison
JOTA
2011
98views more  JOTA 2011»
15 years 1 months ago
Generic Stability and Essential Components of Generalized KKM Points and Applications
We propose the definition of T-KKM points and consider generic stability of T-KKM mappings and essential components of sets of T-KKM points. As applications, using a unified appr...
Phan Quoc Khanh, Nguyen Hong Quan
SIAMAM
2011
15 years 1 months ago
A General Phase Transition Model for Vehicular Traffic
An extension of the Colombo phase transition model is proposed. The congestion phase is described by a two-dimensional zone defined around an equilibrium flux known as the classi...
Sebastien Blandin, Daniel B. Work, Paola Goatin, B...
SIAMSC
2011
153views more  SIAMSC 2011»
15 years 1 months ago
Stable Computations with Gaussian Radial Basis Functions
Abstract. Radial basis function (RBF) approximation is an extremely powerful tool for representing smooth functions in non-trivial geometries, since the method is meshfree and can ...
Bengt Fornberg, Elisabeth Larsson, Natasha Flyer
IFIP
2010
Springer
15 years 1 months ago
Efficient Decision Procedures for Message Deducibility and Static Equivalence
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
Bruno Conchinha, David A. Basin, Carlos Caleiro