4502 search results - page 698 / 901 » Regular Model Checking |
163
click to vote
INCDM
2009
Springer
16 years 25 days ago
2009
Springer
We develop a method to forecast stock keeping unit sales that is accurate, transparent and consistent in handling similar situations. We leverage the marketing literature to define...
194
click to vote
PRIB
2009
Springer
16 years 25 days ago
2009
Springer
For many biomedical modelling tasks a number of different types of data may influence predictions made by the model. An established approach to pursuing supervised learning with ...
181
click to vote
SAGT
2009
Springer
16 years 25 days ago
2009
Springer
We study auctions whose bidders are embedded in a social or economic network. As a result, even bidders who do not win the auction themselves might derive utility from the auction,...
162
click to vote
WACV
2008
IEEE
16 years 20 days ago
2008
IEEE
Most face recognition algorithms use a “distancebased” approach: gallery and probe images are projected into a low dimensional feature space and decisions about matching are b...
186
click to vote
ICANN
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Feedback circuits are important for understanding the emergence of patterns of neural activity. In this contribution we study how a delayed circuit representing a recurre...