Sciweavers

2150 search results - page 147 / 430
» On a restricted cross-intersection problem
Sort
View
AAAI
1998
15 years 6 months ago
A Tractable Walsh Analysis of SAT and its Implications for Genetic Algorithms
Walsh Transforms measure all sources of nonlinear interactions for functions that have a bit representation. There can be exponentially many nonlinear interactions and exactly com...
Soraya B. Rana, Robert B. Heckendorn, L. Darrell W...
BMVC
1998
15 years 6 months ago
Recognition of Planar Objects in 3D Space
A technique for recognizing planar objects in three-dimensional space is described. The object's domain is not restricted to purely two-dimensional items but includes fairly ...
H. C. Sim, Robert I. Damper
DOA
2000
75views more  DOA 2000»
15 years 6 months ago
A Distributed-Object Infrastructure for Corporate Websites
A corporate website is the virtual representation of a corporation or organization on the Internet. Corporate websites face numerous problems due to their large size and complexit...
Ihor Kuz, Patrick Verkaik, Maarten van Steen, Henk...
ACL
1992
15 years 5 months ago
Recognition of Linear Context-Free Rewriting Systems
The class of linear context-free rewriting systems has been introduced as a generalization of a class of grammar formalisms known as mildly context-sensitive. The recognition prob...
Giorgio Satta
IJCAI
1989
15 years 5 months ago
Reducing the Derivation of Redundant Clauses in Reasoning Systems
This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
Rolf Socher-Ambrosius