5699 search results - page 805 / 1140 » Alternating model trees |
185
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
191
Voted
PCM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In video coding standards, such as MPEG-4 and H.263, one important question is how to determine motion vectors for motion compensation in the INTER mode. Usually the sum ...
156
Voted
NETGAMES
2004
ACM
16 years 6 days ago
2004
ACM
Today’s Multi-player Online Games (MOGs) are challenged by infrastructure requirements, because of their server-centric nature. Peer-to-peer networks are an interesting alternat...
161
click to vote
ADC
2004
Springer
16 years 5 days ago
2004
Springer
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
153
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...