4961 search results - page 131 / 993 » Homomorphism-Homogeneous Relational Structures |
144
Voted
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
142
Voted
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Road network information (RNI) simplifies autonomous driving by providing strong priors about driving environments. Its usefulness has been demonstrated in the DARPA U...
127
click to vote
METRICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
107
Voted
TSD
2004
Springer
15 years 8 months ago
2004
Springer
A significant challenge in Text-to-Speech (TtS) synthesis is the formulation of the prosodic structures (phrase breaks, pitch accents, phrase accents and boundary tones) of uttera...
130
Voted
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...