Sciweavers

108 search results - page 1 / 22

» ecai 2010

63

ECAI
2010
Springer

184views Artificial Intelligence» more ECAI 2010»

Non-elementary speed up for model checking synchronous perfect recall

14 years 12 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 »

66

ECAI
2010
Springer

188views Artificial Intelligence» more ECAI 2010»

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

14 years 12 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 »

66

ECAI
2010
Springer

180views Artificial Intelligence» more ECAI 2010»

Integrating Probability Constraints into Bayesian Nets

14 years 9 months ago

Integrating Probability Constraints into Bayesian Nets

Download www.csee.umbc.edu

Yun Peng, Shenyong Zhang

claim paper

Read More »

78

ECAI
2010
Springer

202views Artificial Intelligence» more ECAI 2010»

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

14 years 12 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 »

64

ECAI
2010
Springer

204views Artificial Intelligence» more ECAI 2010»

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

14 years 11 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 »