913 search results - page 36 / 183 » Full Abstraction for Linda |
CF
2006
ACM
14 years 2 months ago
2006
ACM
t available: Pdf (734.64 KB) Additional Information: full citation, abstract, references, index terms Bibliometrics: Downloads (6 Weeks): 25, Downloads (12 Months): 230, Citation C...
CEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract- This paper proposes an evolutionary approach for the composition of solutions in an incremental way. The approach is based on the metaphor of transitions in complexity di...
ICCSA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Skeleton driven animation is a popular method for the animation of deformable human and creature characters. The main advantage is its computational performance. However ...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
TSD
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Natural audio-visual interface between human user and machine requires understanding of user’s audio-visual commands. This does not necessarily require full speech and ...