Search Sciweavers | Sciweavers

12993 search results - page 48 / 2599

» Artificial Intelligence in China

click to vote

SARA
2007
Springer

94views Artificial Intelligence» more SARA 2007»

Model-Based Exploration in Continuous State Spaces

14 years 1 months ago

Download userweb.cs.utexas.edu

Nicholas K. Jong, Peter Stone

claim paper

Read More »

click to vote

SARA
2007
Springer

66views Artificial Intelligence» more SARA 2007»

Dynamic Domain Abstraction Through Meta-diagnosis

14 years 1 months ago

Download www.qrg.northwestern.edu

Johan de Kleer

claim paper

Read More »

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

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

14 years 1 months ago

Download symbolaris.com

André Platzer

claim paper

Read More »

click to vote

TABLEAUX
2007
Springer

105views Artificial Intelligence» more TABLEAUX 2007»

A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers