3824 search results - page 569 / 765 » Geometry Constructions Language |
101
click to vote
ECML
2000
Springer
15 years 6 months ago
2000
Springer
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
114
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
136
click to vote
DEXAW
1999
IEEE
15 years 6 months ago
1999
IEEE
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
138
click to vote
BIRTHDAY
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
121
click to vote
WECWIS
1999
IEEE
15 years 6 months ago
1999
IEEE
The dominant technology for electronic communication and commerce, the telephone, does not discriminate between sighted and non-sighted users. The web does discriminate. The web i...