Sciweavers

2523 search results - page 177 / 505
» Correct Development of Embedded Systems
Sort
View
161
Voted
CASDMKM
2004
Springer
157views Data Mining» more  CASDMKM 2004»
15 years 8 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
15 years 9 months 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
15 years 9 months 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 6 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 6 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