Sciweavers

8828 search results - page 1285 / 1766
» Formal methods in practice
Sort
View
AAAI
2007
15 years 9 months ago
Stochastic Optimization for Collision Selection in High Energy Physics
Artificial intelligence has begun to play a critical role in basic science research. In high energy physics, AI methods can aid precision measurements that elucidate the underlyi...
Shimon Whiteson, Daniel Whiteson
FLAIRS
2008
15 years 9 months ago
State Space Compression with Predictive Representations
Current studies have demonstrated that the representational power of predictive state representations (PSRs) is at least equal to the one of partially observable Markov decision p...
Abdeslam Boularias, Masoumeh T. Izadi, Brahim Chai...
WSC
2008
15 years 9 months ago
Simulation based sales forecasting on retail small stores
As the competition becomes more and more intense, many retail small store chain operators are eager to know how to evaluate new store locations quantitatively to support a scienti...
Hairong Lv, Xinxin Bai, Wen Jun Yin, Jin Dong
ADC
2008
Springer
100views Database» more  ADC 2008»
15 years 9 months ago
UserMap : an Adaptive Enhancing of User-Driven XML-to-Relational Mapping Strategies
As the XML has become a standard for data representation, it is inevitable to propose and implement techniques for efficient managing of XML data. A natural alternative is to expl...
Irena Mlynkova, Jaroslav Pokorný
AUSAI
2008
Springer
15 years 9 months ago
Learning to Find Relevant Biological Articles without Negative Training Examples
Classifiers are traditionally learned using sets of positive and negative training examples. However, often a classifier is required, but for training only an incomplete set of pos...
Keith Noto, Milton H. Saier Jr., Charles Elkan
« Prev « First page 1285 / 1766 Last » Next »