9049 search results - page 223 / 1810 » The New C Standard |
147
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
140
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this short paper we present the state of advancement of the French ANR WebStand project. The objective of this project is to construct a customizable XML based warehouse platfo...
197
click to vote
ICDM
2003
IEEE
15 years 12 months ago
2003
IEEE
The Markov Blanket of a target variable is the minimum conditioning set of variables that makes the target independent of all other variables. Markov Blankets inform feature selec...
171
click to vote
AAAI
2007
15 years 9 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
216
click to vote
DASIP
2010
15 years 1 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...