11121 search results - page 106 / 2225 » Computing with Continuous Change |
107
click to vote
RT
1998
Springer
15 years 5 months ago
1998
Springer
We describe an idea for making decomposition of Bidirectional Reflectance Distribution Functions into basis functions more efficient, by performing a change-of-variables transform...
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
COR
2011
14 years 8 months ago
2011
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods f...
145
click to vote
CMOT
2011
14 years 5 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
CORR
2002
Springer
15 years 1 months ago
2002
Springer
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are li...