Sciweavers

2523 search results - page 177 / 505
» Correct Development of Embedded Systems
Sort
View
CASDMKM
2004
Springer
157views Data Mining» more  CASDMKM 2004»
15 years 12 months ago
A Novel Hybrid AI System Framework for Crude Oil Price Forecasting
In this study, a novel hybrid AI system framework is developed by means of a systematic integration of artificial neural networks (ANN) and rulebased expert system (RES) with web-b...
Shouyang Wang, Lean Yu, Kin Keung Lai
ETFA
2008
IEEE
16 years 28 days ago
Virtual prototyping through co-simulation of a Cartesian plotter
This paper shows a model-based design trajectory for the development of real-time embedded control software using virtual prototyping. As a test case, a Cartesian plotter is desig...
Marcel A. Groothuis, Arjen S. Damstra, Jan F. Broe...
ISBI
2007
IEEE
16 years 23 days ago
Autocorrecting Reconstruction for Flexible Ct Scanners
Nanotechnology researchers are developing miniature, lowpower x-ray devices. These innovations might revolutionize the world of computed tomography (CT). Tiny x-ray emitters and d...
Jeff Orchard, Alexei Ramotar
RTA
2010
Springer
15 years 10 months ago
Simulation in the Call-by-Need Lambda-Calculus with letrec
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
Manfred Schmidt-Schauß, David Sabel, Elena M...
FGR
2004
IEEE
127views Biometrics» more  FGR 2004»
15 years 10 months ago
Gait Style and Gait Content: Bilinear Models for Gait Recognition Using Gait Re-sampling
Human Identification using gait is a challenging computer vision task due to the dynamic motion of gait and the existence of various sources of variations such as viewpoint, walki...
Chan-Su Lee, Ahmed M. Elgammal