747 search results - page 43 / 150 » An Alternative Representation for QBF |
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
— Strategic decision making done in parallel with the opposition makes it difficult to predict the opposition’s strategy. An important aspect in deciding a move is evaluating ...
109
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Network design involves several areas of engineering and science. Computer networks, electrical circuits, transportation problems, and phylogenetic trees are some examples. In gene...
125
click to vote
CHI
1999
ACM
15 years 6 months ago
1999
ACM
A distributed immersive virtual environment was deployed as a component of a pedagogical strategy for teaching third grade children that the Earth is round. The displacement strat...
DAC
1994
ACM
15 years 6 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
128
click to vote
KI
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...