1547 search results - page 22 / 310 » Solving Knapsack Problems in a Sticker Based Model |
106
click to vote
IJIT
2004
15 years 3 months ago
2004
Expert systems development is a complex and expensive process that needs to be applied in an organized manner. This paper presents an approach for building a generic treatment mode...
117
Voted
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
113
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...
126
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...