10916 search results - page 1984 / 2184 » On Constructive Connectives and Systems |
180
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes video-based gait feature analysis for gender and age classification using a large-scale multi-view gait database. First, we constructed a large-scale multi-vie...
280
click to vote
ASE
2011
15 years 1 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
228
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In this paper we study the online learning problem involving rested and restless multiarmed bandits with multiple plays. The system consists of a single player/user and a set of K...
182
click to vote
COMMA
2010
15 years 1 months ago
2010
Evidence-based decision making is becoming increasingly important in many diverse domains, including healthcare, environmental management, and government. This has raised the need ...
194
click to vote
LR
2011
15 years 1 months ago
2011
This paper suggests a routing method for automated guided vehicles in port terminals that uses the Q-learning technique. One of the most important issues for the efficient operati...