21876 search results - page 3987 / 4376 » Computer game-flow design |
147
click to vote
ENTCS
2007
15 years 5 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
148
Voted
JSAT
2006
15 years 5 months ago
2006
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
132
click to vote
MONET
2008
15 years 5 months ago
2008
This paper investigates a distributed and adaptive approach to manage spectrum usage in dynamic spectrum access networks. While previous works focus on centralized provisioning, w...
130
click to vote
EOR
2007
15 years 5 months ago
2007
In this study we focus on the integration of inventory control and vehicle routing schedules for a distribution system in which the warehouse is responsible for the replenishment ...
129
Voted
EOR
2007
15 years 5 months ago
2007
Disassembly activities take place in various recovery operations including remanufacturing, recycling and disposal. The disassembly line is the best choice for automated disassemb...