747 search results - page 12 / 150 » An Alternative Representation for QBF |
127
Voted
ENVSOFT
2007
15 years 1 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
105
Voted
WADS
1989
Springer
15 years 5 months ago
1989
Springer
rees can be used for representing abstract data types such as dictionaries and ordered lists. They work well when the elements are inserted in a random order. Some sequences of ope...
103
Voted
PICS
2003
15 years 3 months ago
2003
Halftone printing has been developing in a linear manner since the inception of photography. The process of refinement has taken it from one level to another producing increasingl...
106
Voted
EUROGP
1999
Springer
15 years 6 months ago
1999
Springer
The Busy Beaver is an interesting theoretical problem proposed by Rado in 1962. In this paper we propose an evolutionary approach to this problem. We will focus on the representati...
119
click to vote
DAC
1999
ACM
16 years 2 months ago
1999
ACM
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...