3724 search results - page 255 / 745 » Timed regular expressions |
154
click to vote
ICDT
2007
ACM
16 years 4 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
148
click to vote
ADAEUROPE
2005
Springer
15 years 11 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
144
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
187
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
167
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
Design and implementation of a fast parallel architecture based on an improved principal component analysis (PCA) method called Composite PCA suitable for real-time face recogniti...