4067 search results - page 551 / 814 » Programs for Applying Symmetries |
185
click to vote
SLP
1994
15 years 7 months ago
1994
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
126
click to vote
AAAI
1990
15 years 7 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
163
click to vote
IJCAI
1989
15 years 7 months ago
1989
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...
162
click to vote
PARBASE
1990
15 years 7 months ago
1990
This paper presents a vectorized algorithm for entering data into a hash table. A program that enters multiple data could not be executed on vector processors by conventional vect...
171
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...