4167 search results - page 350 / 834 » Regression model checking |
127
Voted
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
126
Voted
COLT
2007
Springer
15 years 11 months ago
2007
Springer
In the present paper, we study the problem of aggregation under the squared loss in the model of regression with deterministic design. We obtain sharp oracle inequalities for conve...
137
Voted
IEAAIE
2003
Springer
15 years 10 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
134
click to vote
FLAIRS
2001
15 years 6 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
153
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...