934 search results - page 127 / 187 » Value Prediction in Engineering Applications |
146
click to vote
ACMSE
2005
ACM
15 years 9 months ago
2005
ACM
As the field of human-computer interaction matures, the need for proven, dependable engineering processes for interface development becomes apparent. Our continuing work in develo...
109
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
112
Voted
CSMR
2003
IEEE
15 years 8 months ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...
156
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
We report the formulation and implementation of a genetic algorithm to address multi-objective optimisation of solar gain to buildings with the goal of minimising energy consumpti...
136
click to vote
ICSM
2000
IEEE
15 years 7 months ago
2000
IEEE
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...