1514 search results - page 187 / 303 » Best-Order Streaming Model |
144
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
We analyze the benefits of information sharing between the application layer and the transport layer, for streaming video encoded at several different qualities, in a mobile wir...
106
click to vote
CHARME
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
116
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Monaural speech segregation in reverberant environments is a very difficult problem. We develop a supervised learning approach by proposing an objective function that directly rel...
IADIS
2008
15 years 4 months ago
2008
The damage of bankruptcy fraud is substantial. In response, the Dutch Ministry of Justice started a project to reduce the number of bankruptcy fraud cases by increasing the probab...