Sciweavers

81 search results - page 11 / 17
» Closure of Language Classes Under Bounded Duplication
Sort
View
JMLR
2012
11 years 10 months ago
Contextual Bandit Learning with Predictable Rewards
Contextual bandit learning is a reinforcement learning problem where the learner repeatedly receives a set of features (context), takes an action and receives a reward based on th...
Alekh Agarwal, Miroslav Dudík, Satyen Kale,...
SAINT
2007
IEEE
14 years 1 months ago
A Component Framework for Document-Centric Network Processing
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
Ichiro Satoh
CAV
2001
Springer
83views Hardware» more  CAV 2001»
14 years 11 hour ago
Iterating Transducers
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
Dennis Dams, Yassine Lakhnech, Martin Steffen
CAV
2008
Springer
158views Hardware» more  CAV 2008»
13 years 9 months ago
Linear Arithmetic with Stars
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
Ruzica Piskac, Viktor Kuncak
MST
2010
101views more  MST 2010»
13 years 6 months ago
Automatic Presentations and Semigroup Constructions
atic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations ca...
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Ric...