GW
2003
Springer
14 years 4 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
14 years 5 months 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
14 years 6 months 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 14 days ago
1999
ACM
