Sciweavers

15416 search results - page 66 / 3084
» Embeddings of Computable Structures
Sort
View
78
Voted
COMPUTER
2007
103views more  COMPUTER 2007»
15 years 23 days ago
Embedded System Design for Automotive Applications
Alberto L. Sangiovanni-Vincentelli, Marco Di Natal...
108
Voted
ICPR
2008
IEEE
15 years 7 months ago
Manifold denoising with Gaussian Process Latent Variable Models
For a finite set of points lying on a lower dimensional manifold embedded in a high-dimensional data space, algorithms have been developed to study the manifold structure. Howeve...
Yan Gao, Kap Luk Chan, Wei-Yun Yau
ICTAC
2010
Springer
14 years 11 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas
115
Voted
SEUS
2007
IEEE
15 years 7 months ago
Soft Real-Time Task Response Time Prediction in Dynamic Embedded Systems
The hardware infrastructure that provides the support of ubiquitous embedded computing may be shared by different applications. Many of those applications have real-time requireme...
Cássia Yuri Tatibana, Carlos Montez, R&ocir...
87
Voted
ICNC
2005
Springer
15 years 6 months ago
A Natural Language Watermarking Based on Chinese Syntax
Abstract. A novel text watermarking algorithm is presented. It combines natural language watermarking and Chinese syntax based on BP neural networks. Since the watermarking signals...
Yuling Liu, Xingming Sun, Yong Wu