14190 search results - page 2776 / 2838 » Abstractions for hybrid systems |
ADAEUROPE
2000
Springer
15 years 2 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
ASIACRYPT
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In 1985 Fell and Diffie proposed constructing trapdoor functions with multivariate equations [11]. They used several sequentially solved stages. Another idea of building ...
BMCV
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We apply independent component analysis (ICA) for learning an efficient color image representation of natural scenes. In the spectra of single pixels, the algorithm was a...
CADE
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
DDEP
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Notations like SGML and XML represent document structures using tree structures; while this is in general a step forward from earlier systems, it creates certain difficul...