Sciweavers

2409 search results - page 142 / 482
» On Extended Regular Expressions
Sort
View
261
Voted
ICDE
2002
IEEE
206views Database» more  ICDE 2002»
16 years 6 months ago
Exploiting Local Similarity for Indexing Paths in Graph-Structured Data
XML and other semi-structured data may have partially specified or missing schema information, motivating the use of a structural summary which can be automatically computed from ...
Raghav Kaushik, Pradeep Shenoy, Philip Bohannon, E...
238
Voted
POPL
2004
ACM
16 years 4 months ago
A logic you can count on
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonni...
ECAL
2005
Springer
15 years 10 months ago
Biological Development of Cell Patterns: Characterizing the Space of Cell Chemistry Genetic Regulatory Networks
Abstract. Genetic regulatory networks (GRNs) control gene expression and are responsible for establishing the regular cellular patterns that constitute an organism. This paper intr...
Nicholas S. Flann, Jing Hu, Mayank Bansal, Vinay P...
165
Voted
MFCS
2004
Springer
15 years 10 months ago
Schema Evolution for XML: A Consistency-Preserving Approach
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...
Béatrice Bouchou, Denio Duarte, Mirian Half...
LICS
2003
IEEE
15 years 10 months ago
Model-checking Trace Event Structures
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
P. Madhusudan