Sciweavers

108 search results - page 1 / 22

» ecai 2010

14

ECAI
2010
Springer

184views Artificial Intelligence» more ECAI 2010»

Non-elementary speed up for model checking synchronous perfect recall

13 years 5 months ago

Non-elementary speed up for model checking synchronous perfect recall

Download www.doc.ic.ac.uk

Mika Cohen, Alessio Lomuscio

claim paper

Read More »

14

ECAI
2010
Springer

188views Artificial Intelligence» more ECAI 2010»

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

13 years 5 months ago

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

Download www.in.tu-clausthal.de

Nils Bulling, Berndt Farwer

claim paper

Read More »

13

ECAI
2010
Springer

180views Artificial Intelligence» more ECAI 2010»

Integrating Probability Constraints into Bayesian Nets

13 years 2 months ago

Integrating Probability Constraints into Bayesian Nets

Download www.csee.umbc.edu

Yun Peng, Shenyong Zhang

claim paper

Read More »

14

ECAI
2010
Springer

202views Artificial Intelligence» more ECAI 2010»

Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating Radar

13 years 5 months ago

Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating Radar

Download www.comp.leeds.ac.uk

Huanhuan Chen, Anthony G. Cohn

claim paper

Read More »

14

ECAI
2010
Springer

204views Artificial Intelligence» more ECAI 2010»

The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery

13 years 4 months ago

The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery

Download www.cs.bris.ac.uk

Tarek Abudawood, Peter A. Flach

claim paper

Read More »

« Prev « First page 1 / 22 Last » Next »