20175 search results - page 3903 / 4035 » Is abstraction the key to computing |
127
Voted
ICPP
1995
IEEE
15 years 4 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
97
Voted
SC
1995
ACM
15 years 4 months ago
1995
ACM
The problem of determining the evolutionary history of species in the form of phylogenetic trees is known as the phylogeny problem. We present a parallelization of the character c...
82
Voted
UIST
1995
ACM
15 years 4 months ago
1995
ACM
This paper exploresthe useof visualoperatorsfor solidsmodeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these op...
106
Voted
LICS
1991
IEEE
15 years 4 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
150
click to vote
AGP
2010
IEEE
15 years 4 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...