1596 search results - page 264 / 320 » Human-Guided Simple Search |
108
click to vote
WCE
2007
15 years 1 months ago
2007
—This paper deals with different techniques for registration and fusion of remote sensed images. In this work the lower spatial resolution multispectral and higher resolution pan...
WCE
2007
15 years 1 months ago
2007
— When problems are present in production, equipment or the process which are critical for organizations, many management personnel and experts have to meet to propose a solution...
147
click to vote
AAIP
2009
15 years 1 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
AIPS
2009
15 years 1 months ago
2009
Despite its ubiquitous presence, very little is known about the odds of winning the simple card game of Klondike Solitaire. The main goal of this paper is to investigate the use o...
107
click to vote
C3S2E
2010
ACM
15 years 1 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...