11395 search results - page 2012 / 2279 » Beyond computer science |
174
click to vote
ICSM
2002
IEEE
16 years 6 days ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
190
click to vote
VISUALIZATION
2002
IEEE
16 years 5 days ago
2002
IEEE
Efficient and informative visualization of surfaces with uncertainties is an important topic with many applications in science and engineering. Examples include environmental pol...
193
click to vote
SIGECOM
2010
ACM
16 years 3 days ago
2010
ACM
Citing recent successes in forecasting elections, movies, products, and other outcomes, prediction market advocates call for widespread use of market-based methods for government ...
221
click to vote
GECCO
2010
Springer
16 years 2 days 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...
241
click to vote
KR
2010
Springer
16 years 2 days ago
2010
Springer
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...