Search Sciweavers | Sciweavers

13827 search results - page 263 / 2766

» The state of artificial intelligence

197

click to vote

APN
2008
Springer

137views Artificial Intelligence» more APN 2008»

MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs

15 years 8 months ago

Download pagesperso-systeme.lip6.fr

Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...

Kais Klai, Denis Poitrenaud

claim paper

Read More »

121

click to vote

ISMIS
2009
Springer

117views Artificial Intelligence» more ISMIS 2009»

Intelligent Information Processing in Semantically Enriched Web

16 years 1 months ago

Download www2.fiit.stuba.sk

Pavol Návrat, Mária Bieliková...

claim paper

Read More »

131

click to vote

SETN
2004
Springer

98views Artificial Intelligence» more SETN 2004»

An Intelligent Tool for Bio-magnetic Signal Processing

15 years 12 months ago

Download prlab.ceid.upatras.gr

Lambros Skarlas, Adam V. Adamopoulos, Stratos Geor...

claim paper

Read More »

138

click to vote

ICTAI
1999
IEEE

90views Artificial Intelligence» more ICTAI 1999»

Towards a Computationally Intelligent Lesson Adaptation for a Distance Learning Course

15 years 11 months ago

Download www.dcs.bbk.ac.uk

George D. Magoulas, Kyparisia A. Papanikolaou, Mar...

claim paper

Read More »

133

click to vote

PRICAI
2000
Springer

93views Artificial Intelligence» more PRICAI 2000»

Layered Specification of Intelligent Agents

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers