490 search results - page 36 / 98 » Automated Generalization of Translation Examples |
AGTIVE
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
IJCAI
2003
13 years 9 months ago
2003
Noun compound interpretation is the task of determining the semantic relations among the constituents of a noun compound. For example, "concrete floor" means a floor mad...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
A protocol for latency-insensitive design with early evaluation is presented. The protocol is based on a symmetric view of the system in which tokens carrying information move in ...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
KBSE
1994
IEEE
13 years 11 months ago
1994
IEEE
The User Interface Design Assistant (UIDA) addresses the specific design problems of style and integration consistencythroughout the user interface developmentprocess and aids in t...