1116 search results - page 159 / 224 » Applying Predicate Abstraction to Abstract State Machines |
157
click to vote
MLMI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Decision making is an important aspect of meetings in organisational settings, and archives of meeting recordings constitute a valuable source of information about the de...
164
click to vote
MLMI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
160
click to vote
ACII
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents research using full body skeletal movements captured using video-based sensor technology developed by Vicon Motion Systems, to train a machine to iden...
155
click to vote
COLT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We describe several improvements to Freund and Schapire's AdaBoost boosting algorithm, particularly in a setting in which hypotheses may assign confidences to each o...
165
click to vote
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...