1342 search results - page 184 / 269 » Ordered Programs as Abductive Systems |
152
click to vote
ICA
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In this paper, a new algorithm for source recovery in underdetermined Sparse Component Analysis (SCA) or atomic decomposition on over-complete dictionaries is presented i...
122
click to vote
EWSA
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
112
click to vote
WSC
2008
15 years 8 months ago
2008
Life cycle cost is an essential approach to decide on alternative rehabilitation strategies for infrastructure systems. Monte Carlo simulation approach is used to develop a stocha...
149
click to vote
ECEASST
2008
15 years 5 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
169
click to vote
FAC
2000
15 years 5 months ago
2000
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...