913 search results - page 36 / 183 » Full Abstraction for Linda |
173
Voted
CF
2006
ACM
16 years 22 days 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...
184
click to vote
CEC
2005
IEEE
16 years 11 days 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...
172
click to vote
ICCSA
2005
Springer
16 years 8 days 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 ...
157
click to vote
LPAR
2005
Springer
16 years 7 days 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...
176
Voted
TSD
2005
Springer
16 years 7 days 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 ...