615 search results - page 50 / 123 » Completeness of Combinations of Constructor Systems |
146
click to vote
SIGDIAL
2010
15 years 2 months ago
2010
Statistical user simulation is a promising methodology to train and evaluate the performance of (spoken) dialog systems. We work with a modular architecture for data-driven simula...
109
Voted
MSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Storage virtualization and data management are well known problems for individual users as well as large organizations. Existing storage-virtualization systems either do not suppo...
156
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
126
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...
177
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper we propose the use of intra-frame prediction with lapped transforms for image coding. Both lapped transforms and intra prediction exploit the redundancies of neighbo...