9595 search results - page 1573 / 1919 » Functional programming in C |
199
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
We study the performance of TCP in an internetwork consisting of both rate-controlled and non-rate-controlled segments. A commonexample of such an environment occurs when the end ...
173
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
174
click to vote
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
Grouping based on common motion, or “common fate” provides a powerful cue for segmenting image sequences. Recently a number of algorithms have been developed that successfully...
172
click to vote
MINAR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Video has become an essential component of multimedia applications nowadays. To support multimedia and video applications efciently, video objects must be modeled and str...
148
click to vote
SIGCOMM
1997
ACM
15 years 11 months ago
1997
ACM
— Measurement-based admission control (MBAC) is an attractive mechanism to concurrently offer quality of service (QoS) to users, without requiring a priori traffic specificatio...