2266 search results - page 312 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
115
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
145
Voted
FUIN
2000
15 years 3 months ago
2000
We give algorithms to construct the least L-model for a given positive modal logic program P, where L can be one of the modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. If L...
143
Voted
TOG
2002
15 years 3 months ago
2002
There are many applications that demand large quantities of natural looking motion. It is difficult to synthesize motion that looks natural, particularly when it is people who mus...
117
Voted
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
The matching of hierarchical relational structures is of significant interest in computer vision and pattern recognition. We have recently introduced a new solution to this proble...
142
Voted
KES
2004
Springer
15 years 9 months ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...