Sciweavers

5243 search results - page 145 / 1049
» Reasoning About Strategies
Sort
View
ICST
2010
IEEE
15 years 5 months ago
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit ...
IJCNN
2006
IEEE
16 years 15 days ago
Markov Coding Strategy of the Simple Spiking Model of Auditory Neuron
— The present paper is devoted to the exploration of the properties of the simple spiking neuron model and quantification of the information transfer rate, which the separate neu...
Alexei V. Ivanov, Alexander A. Petrovsky
EWCBR
2008
Springer
15 years 8 months ago
Situation Assessment for Plan Retrieval in Real-Time Strategy Games
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...
Kinshuk Mishra, Santiago Ontañón, As...
DALT
2010
Springer
15 years 1 months ago
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
Iain Wallace, Michael Rovatsos
ORL
2007
66views more  ORL 2007»
15 years 6 months ago
Linear programming with online learning
We propose online decision strategies for time-dependent sequences of linear programs which use no distributional and minimal geometric assumptions about the data. These strategies...
Tatsiana Levina, Yuri Levin, Jeff McGill, Mikhail ...