220 search results - page 30 / 44 » Using Difference Reduction for Generic Proof Search |
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
Human path planning relies on several more aspects than only geometric distance between two locations. These additional aspects mostly relate to the complexity of the traveled path...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Computationally identifying transcription factor binding sites in the promoter regions of genes is an important problem in computational biology and has been under intensive resea...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
SEMCO
2007
IEEE
14 years 2 months ago
2007
IEEE
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
VTS
1997
IEEE
14 years 3 days ago
1997
IEEE
Accumulators based on addition or subtraction can be used as test pattern generators. Some circuits, however, require long test lengths if the parameters of the accumulator are no...