Search Sciweavers | Sciweavers

13827 search results - page 2 / 2766

» The state of artificial intelligence

127

click to vote

SARA
2007
Springer

81views Artificial Intelligence» more SARA 2007»

State Abstraction in Real-Time Heuristic Search

15 years 12 months ago

Download webdocs.cs.ualberta.ca

Vadim Bulitko

claim paper

Read More »

113

click to vote

WIA
2007
Springer

87views Artificial Intelligence» more WIA 2007»

Finite State Automata Representing Two-Dimensional Subshifts

15 years 12 months ago

Download www.stringology.org

Natasa Jonoska, Joni Burnette Pirnot

claim paper

Read More »

133

click to vote

APN
2000
Springer

91views Artificial Intelligence» more APN 2000»

Improved Question-Guided Stubborn Set Methods for State Properties

15 years 10 months ago

Download www.daimi.au.dk

Lars Michael Kristensen, Antti Valmari

claim paper

Read More »

123

click to vote

LFCS
1994
Springer

123views Artificial Intelligence» more LFCS 1994»

On Model Checking Infinite-State Systems

15 years 10 months ago

Download www.configit.com

Henrik Reif Andersen

claim paper

Read More »

104

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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers