1494 search results - page 48 / 299 » Less Extreme Programming |
TEC
1998
14 years 11 months ago
1998
Abstract— Traditional investigations with evolutionary programming (EP) for continuous parameter optimization problems have used a single mutation operator with a parameterized p...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
ICCS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
We present a system that can match and reconstruct 3D
scenes from extremely large collections of photographs such
as those found by searching for a given city (e.g., Rome) on
In...
CHI
2009
ACM
16 years 11 days ago
2009
ACM
Peace is an extremely important value for humankind, yet it has been largely ignored by the computing and human-computer interaction community. This paper seeks to begin a discuss...