Sciweavers

11397 search results - page 16 / 2280
» A Relational Abstraction for Functions
Sort
View
ECAI
2010
Springer
15 years 6 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
15 years 6 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
16 years 6 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»
15 years 4 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
16 years 7 days ago
Abstracting the template instantiation relation in C++
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic