9455 search results - page 276 / 1891 » The Modelling Language Zinc |
171
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
151
click to vote
ERCIMDL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
157
click to vote
IJIT
2004
15 years 7 months ago
2004
In the paper a method of modeling text for Polish is discussed. The method is aimed at transforming continuous input text into a text consisting of sentences in so called canonical...
156
click to vote
DBPL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a simple Data Mining Logic (DML) that can express common data mining tasks, like “Find Boolean association rules” or “Find inclusion dependencies.” At ...
160
click to vote
ACL
1996
15 years 7 months ago
1996
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...