Sciweavers

493 search results - page 39 / 99
» Alternating Weighted Automata
Sort
View
ICCBR
2009
Springer
14 years 3 months ago
Quality Enhancement Based on Reinforcement Learning and Feature Weighting for a Critiquing-Based Recommender
Personalizing the product recommendation task is a major focus of research in the area of conversational recommender systems. Conversational case-based recommender systems help use...
Maria Salamó, Sergio Escalera, Petia Radeva
EMNLP
2010
13 years 6 months ago
Confidence in Structured-Prediction Using Confidence-Weighted Models
Confidence-Weighted linear classifiers (CW) and its successors were shown to perform well on binary and multiclass NLP problems. In this paper we extend the CW approach for sequen...
Avihai Mejer, Koby Crammer
CONCUR
2008
Springer
13 years 10 months ago
Distributed Timed Automata with Independently Evolving Clocks
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan ...
DCC
2002
IEEE
14 years 8 months ago
Subcodes of the Projective Generalized Reed-Muller Codes Spanned by Minimum-Weight Vectors
We use methods of Mortimer [19] to examine the subcodes spanned by minimumweight vectors of the projective generalized Reed-Muller codes and their duals. These methods provide a p...
Peng Ding, Jennifer D. Key
SAT
2007
Springer
121views Hardware» more  SAT 2007»
14 years 2 months ago
MiniMaxSat: A New Weighted Max-SAT Solver
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
Federico Heras, Javier Larrosa, Albert Oliveras