6040 search results - page 1100 / 1208 » Generating Instance Models from Meta Models |
COMPGEOM
1997
ACM
14 years 2 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
ICAIL
1997
ACM
14 years 2 months ago
1997
ACM
The capacity for self-explanation can makecomputer-drafted documents more credible, assist in the retrieval and adaptation of archival documents, and permit comparison of document...
ICSE
1993
IEEE-ACM
14 years 2 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
APGV
2007
ACM
14 years 2 months ago
2007
ACM
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...