3395 search results - page 62 / 679 » Designs, Disputes and Strategies |
ENTCS
2007
13 years 9 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
SGAI
2009
Springer
14 years 3 months ago
2009
Springer
Real-time strategy games share many aspects with real situations in domains such as battle planning, air traffic control, and emergency response team management which makes them a...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—We consider opportunistic spectrum access (OSA) strategies for a transmitter in a multichannel wireless system, where a channel may or may not be available and the transmitter m...
AAAI
1994
13 years 10 months ago
1994
Conceptual information retrieval systems use structured document indices, domain knowledge and a set of heuristic retrieval strategies to match user queries with a set of indices ...
CEC
2010
IEEE
13 years 10 months ago
2010
IEEE
The performance of Evolutionary Programming (EP) is affected by many factors (e.g. mutation operators and selection strategies). Although the conventional approach with Gaussian mu...