1325 search results - page 109 / 265 » An Approach to Generation of Decision Rules |
154
click to vote
GPCE
2003
Springer
15 years 11 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
160
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
251
click to vote
WMCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
Mobile systems operate in a resource-scarce environment and thus must adapt to external conditions; all layers must make cost-based decisions about what mode of operation to use i...
189
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
178
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
We present a holistic statistical model for the automatic analysis of complex scenes. Here, holistic refers to an integrated approach that does not take local decisions about segme...