5671 search results - page 766 / 1135 » A Semantic Approach to Interpolation |
187
click to vote
VL
2005
IEEE
16 years 14 days ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
195
click to vote
MM
2005
ACM
16 years 13 days ago
2005
ACM
The attentive region extraction is a challenging issue for semantic interpretation of image and video content. The successful attentive region extraction greatly facilitates image...
233
click to vote
WCFLP
2005
ACM
16 years 13 days ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
189
click to vote
CALCO
2005
Springer
16 years 13 days ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
198
click to vote
HYBRID
2005
Springer
16 years 12 days ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...