5414 search results - page 211 / 1083 » Data representation synthesis |
146
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
135
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
130
click to vote
ACSD
1998
IEEE
15 years 9 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
150
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
142
click to vote
CGIM
2003
15 years 6 months ago
2003
Inspired by traditional expressive animation, we attempt to propose an infinite emotion-space as a model to control free-form facial expression synthesis. Although a number of mod...