5465 search results - page 78 / 1093 » Assigning Types to Processes |
134
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
153
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
A more efficient coding scheme for H.264 by heuristically assign macroblock partition types for video foreground and background coding is proposed. High visual quality of foregro...
144
click to vote
ICASSP
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper presents a hierarchical lane detection system with the ability to deal with both structured and unstructured roads. The proposed system classifies the environment first...
144
click to vote
LTCONF
2007
Springer
16 years 5 days ago
2007
Springer
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...