GW
2003
Springer
14 years 11 months ago
2003
Springer
We discuss our experience with automatic synthesis of animations of deaf signing from an avatar-independent notation for signing gestures, and consider principles that a notation ...
MKM
2007
Springer
15 years 17 days ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
DATE
2008
IEEE
15 years 27 days ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
DAC
1999
ACM
15 years 7 months ago
1999
ACM
