2410 search results - page 271 / 482 » Multiset Ordering Constraints |
140
click to vote
ISAAC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
135
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This paper addresses the problem of streaming packetized media over a lossy packet network through an intermediate proxy server to a client, in a rate-distortion optimiz...
162
click to vote
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
Mobile cooperative systems can facilitate cooperation by improving the flexibility of usage. However, mobile devices present some constraints that become the design and implement...
182
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...
174
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...