1074 search results - page 130 / 215 » Rule sets based bilevel decision model |
208
click to vote
AVI
2006
15 years 7 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
163
click to vote
PAMI
2002
15 years 6 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
236
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
169
click to vote
COLING
2010
15 years 1 months ago
2010
Previous methods on improving translation quality by employing multiple SMT models usually carry out as a secondpass decision procedure on hypotheses from multiple systems using e...
201
click to vote
UMUAI
2002
15 years 6 months ago
2002
Spoken dialogue systemperformance canvary widely fordifferentusers, aswell for the same userduring different dialogues.This paper presents the design and evaluation ofan adaptive v...