Works matching IS 10769757 AND DT 2015

Results: 10

Solving #SAT and MaxSAT by Dynamic Programming.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 54, p. 59, doi. 10.1613/jair.4831

By:

Sæther, Sigve Hortemo;
Telle, Jan Arne;
Vatshelle, Martin

Publication type:

Article

Achieving Goals Quickly Using Real-time Search: Experimental Results in Video Games.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 54, p. 123, doi. 10.1613/jair.4800

By:

Kiesel, Scott;
Burns, Ethan;
Ruml, Wheeler

Publication type:

Article

Word vs. Class-Based Word Sense Disambiguation.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 54, p. 83, doi. 10.1613/jair.4727

By:

Izquierdo, Rubén;
Suárez, Armando;
Rigau, German

Publication type:

Article

Leveraging Online User Feedback to Improve Statistical Machine Translation.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 54, p. 159, doi. 10.1613/jair.4716

By:

Formiga, Lluís;
Barrön-Cedeño, Alberto;
Màrquez, Lluís;
Henríquez, Carlos A.;
Mariño, José B.

Publication type:

Article

Knowledge-Based Textual Inference via Parse-Tree Transformations.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 54, p. 1, doi. 10.1613/jair.4584

By:

Bar-Haim, Roy;
Dagan, Ido;
Berant, Jonathan

Publication type:

Article

Learning Relational Event Models from Video.

Published in:

Journal of Artificial Intelligence Research, 2015, n. 53, p. 41, doi. 10.1613/jair.4395

By:

Dubba, Krishna S. R.;
Cohn, Anthony G.;
Hogg, David C.;
Bhatt, Mehul;
Dylla, Frank

Publication type:

Article

On the Subexponential-Time Complexity of CSP.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 52, p. 203, doi. 10.1613/jair.4540

By:

de Haan, Ronald;
Kanj, Iyad;
Szeider, Stefan

Publication type:

Article

Coherent Predictive Inference under Exchangeability with Imprecise Probabilities.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 52, p. 1, doi. 10.1613/jair.4490

By:

de Cooman, Gert;
De Bock, Jasper;
Diniz, Márcio Alves

Publication type:

Article

Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 52, p. 97, doi. 10.1613/jair.4443

By:

Domshlak, Carmel;
Mirkis, Vitaly

Publication type:

Article

Agnostic Pointwise-Competitive Selective Classification.

Published in:

Journal of Artificial Intelligence Research, 2015, v. 52, p. 171, doi. 10.1613/jair.4439

By:

Wiener, Yair;
El-Yaniv, Ran

Publication type:

Article