2774 search results - page 288 / 555 » Exploiting Deep Structure |
167
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
A new VLSI architecture for real-time pipeline FFT processor is proposed. A hardware oriented radix-22 algorithm is derived by integrating a twiddle factor decomposition technique ...
194
click to vote
ECP
1997
Springer
15 years 10 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
183
click to vote
ICTAI
1994
IEEE
15 years 10 months ago
1994
IEEE
A distributed problem solving approach to job shop scheduling is described in this paper. The approach views the system as an Organisation. Agents are assigned di erent roles and ...
162
click to vote
GIS
1992
ACM
15 years 10 months ago
1992
ACM
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
179
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...