620 search results - page 99 / 124 » Decidability Problems for Actor Systems |
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes our new algorithm for shot boundary detection and its evaluation. We adopt a 2-stage data fusion approach with SVM technique to decide whether a boundary exis...
80
Voted
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
— We propose a new multicast scheduling scheme which can achieve the proportional fair (PF) allocation in the wireless cellular systems. In case of multicast, the scheduler in th...
IRI
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Conversational Case-Based-Reasoning (CCBR) provides a mixed-initiative dialog for guiding users to construct their problem description incrementally through a question-...
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...