4772 search results - page 11 / 955 » An approach to interface synthesis |
ANLP
1994
13 years 8 months ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
FAC
2008
13 years 6 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
OOGRAPHICS
1995
13 years 11 months ago
1995
The structure of the image synthesis process naturally leads to the use of object-oriented software design and many existing rendering systems are based on some kind of object-orie...
FMCO
2005
Springer
14 years 26 days ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
DAC
1997
ACM
13 years 11 months ago
1997
ACM
In order to efficiently design complex microelectromechanical systems (MEMS) having large numbers of multi-domain components, a hierarchically structured design approach that is ...