3825 search results - page 522 / 765 » The Language of Time: A Reader |
185
click to vote
LCTRTS
2004
Springer
16 years 18 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
199
click to vote
SOFSEM
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Research on processing XML documents gained much activity in recent times. XML query languages are mostly based on XPath expressions, which are used to select parts of XM...
173
click to vote
TSD
2004
Springer
16 years 18 days ago
2004
Springer
We investigate techniques for acoustic modeling in automatic recognition of context-independent phoneme strings from the TIMIT database. The baseline phoneme recognizer is based on...
144
click to vote
FDL
2003
IEEE
16 years 16 days ago
2003
IEEE
With System on Chip low power constraints becoming increasingly important, emphasis is moving to architectural level, optimum memory organisation and system run time management. T...
191
click to vote
FDL
2003
IEEE
16 years 16 days ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...