Sciweavers

3902 search results - page 305 / 781
» Hardware Synthesis from C C Models
Sort
View
CP
2003
Springer
15 years 12 months ago
Semi-automatic Modeling by Constraint Acquisition
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
Remi Coletta, Christian Bessière, Barry O'S...
AAAI
2006
15 years 8 months ago
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
Alexander Feldman, Arjan J. C. van Gemund
AUTOMATICA
2004
77views more  AUTOMATICA 2004»
15 years 6 months ago
Non-asymptotic quality assessment of generalised FIR models with periodic inputs
In any real-life identification problem, only a finite number of data points is available. On the other hand, almost all results in stochastic identification pertain to asymptotic...
Marco C. Campi, Su Ki Ooi, Erik Weyer
FAC
2000
124views more  FAC 2000»
15 years 6 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
IEAAIE
2011
Springer
14 years 10 months ago
A Computational Model of Habit Learning to Enable Ambient Support for Lifestyle Change
Agent-based applications have the potential to assist humans in their lifestyle change, for instance eliminating addictive behaviours or adopting new healthy behaviours. In order t...
Michel C. A. Klein, Nataliya M. Mogles, Jan Treur,...