Search Sciweavers | Sciweavers

13827 search results - page 2 / 2766

» The state of artificial intelligence

click to vote

SARA
2007
Springer

81views Artificial Intelligence» more SARA 2007»

State Abstraction in Real-Time Heuristic Search

14 years 1 months ago

Download webdocs.cs.ualberta.ca

Vadim Bulitko

claim paper

Read More »

click to vote

WIA
2007
Springer

87views Artificial Intelligence» more WIA 2007»

Finite State Automata Representing Two-Dimensional Subshifts

14 years 1 months ago

Download www.stringology.org

Natasa Jonoska, Joni Burnette Pirnot

claim paper

Read More »

click to vote

APN
2000
Springer

91views Artificial Intelligence» more APN 2000»

Improved Question-Guided Stubborn Set Methods for State Properties

13 years 11 months ago

Download www.daimi.au.dk

Lars Michael Kristensen, Antti Valmari

claim paper

Read More »

click to vote

LFCS
1994
Springer

123views Artificial Intelligence» more LFCS 1994»

On Model Checking Infinite-State Systems

13 years 11 months ago

Download www.configit.com

Henrik Reif Andersen

claim paper

Read More »

click to vote

AIIDE
2008

101views Artificial Intelligence» more AIIDE 2008»

Implementation Walkthrough of a Homegrown 'Abstract State Machine' Style System in a Commercial Sports Game

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers