Sciweavers

11397 search results - page 16 / 2280
» A Relational Abstraction for Functions
Sort
View
ECAI
2010
Springer
13 years 11 months ago
Relative-Order Abstractions for the Pancake Problem
-Order Abstractions for the Pancake Problem Malte Helmert and Gabriele R
Malte Helmert, Gabriele Röger
CSL
2010
Springer
13 years 11 months ago
Two-Variable Logic with Two Order Relations - (Extended Abstract)
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
Thomas Schwentick, Thomas Zeume
ICML
2004
IEEE
14 years 10 months ago
Using relative novelty to identify useful temporal abstractions in reinforcement learning
lative Novelty to Identify Useful Temporal Abstractions in Reinforcement Learning ?Ozg?ur S?im?sek ozgur@cs.umass.edu Andrew G. Barto barto@cs.umass.edu Department of Computer Scie...
Özgür Simsek, Andrew G. Barto
PKDD
2010
Springer
188views Data Mining» more  PKDD 2010»
13 years 8 months ago
Semi-supervised Abstraction-Augmented String Kernel for Multi-level Bio-Relation Extraction
ervised Abstraction-Augmented String Kernel for Multi-Level Bio-Relation Extraction Pavel Kuksa1 , Yanjun Qi2 , Bing Bai2 , Ronan Collobert2 , Jason Weston3 , Vladimir Pavlovic1 , ...
Pavel P. Kuksa, Yanjun Qi, Bing Bai, Ronan Collobe...
ICSM
2009
IEEE
14 years 4 months ago
Abstracting the template instantiation relation in C++
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic