Sciweavers

2409 search results - page 246 / 482
» On Extended Regular Expressions
Sort
View
PODS
2007
ACM
171views Database» more  PODS 2007»
16 years 6 months ago
The complexity of reasoning about pattern-based XML schemas
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
Gjergji Kasneci, Thomas Schwentick
EDBT
2002
ACM
179views Database» more  EDBT 2002»
16 years 6 months ago
Efficient Complex Query Support for Multiversion XML Documents
Managing multiple versions of XML documents represents a critical requirement for many applications. Also, there has been much recent interest in supporting complex queries on XML ...
Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo,...
ICFP
2006
ACM
16 years 6 months ago
OCaml + XDuce
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
Alain Frisch
ICCAD
2003
IEEE
140views Hardware» more  ICCAD 2003»
16 years 3 months ago
Block-based Static Timing Analysis with Uncertainty
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
Anirudh Devgan, Chandramouli V. Kashyap
ICC
2009
IEEE
164views Communications» more  ICC 2009»
16 years 1 months ago
Effects of Imperfect Channel State Information on Achievable Rates of Precoded Multi-User MIMO Broadcast Channels with Limited F
—We consider multi-user MIMO broadcast channels with limited feedback. A recently proposed linear precoding technique, regularized block diagonalization (RBD), is used to mitigat...
Bin Song, Martin Haardt