Sciweavers

220 search results - page 25 / 44
» Regular expression types for XML
Sort
View
POPL
1993
ACM
14 years 16 days ago
Graph Types
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
Nils Klarlund, Michael I. Schwartzbach
PG
2002
IEEE
14 years 1 months ago
May I talk to you? : -)" - Facial Animation from Text
We introduce a facial animation system that produces real-time animation sequences including speech synchronization and non-verbal speech-related facial expressions from plain tex...
Irene Albrecht, Jörg Haber, Kolja Kähler...
WWW
2001
ACM
14 years 9 months ago
A unified constraint model for XML
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
Gabriel M. Kuper, Jérôme Siméo...
CORR
2007
Springer
79views Education» more  CORR 2007»
13 years 8 months ago
Logic Meets Algebra: the Case of Regular Languages
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
Pascal Tesson, Denis Thérien
ICFP
2006
ACM
14 years 8 months ago
biXid: a bidirectional transformation language for XML
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
Shinya Kawanaka, Haruo Hosoya