Search Sciweavers | Sciweavers

4894 search results - page 39 / 979

» Dynamic Abstraction Planning

click to vote

DAC
2010
ACM

152views Computer Architecture» more DAC 2010»

BooM: a decision procedure for boolean matching with abstraction and dynamic learning

15 years 1 months ago

Download alcom.ee.ntu.edu.tw

Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang

claim paper

Read More »

click to vote

ECSQARU
2009
Springer

163views Automated Reasoning» more ECSQARU 2009»

Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension

15 years 1 months ago

Download www.di.unito.it

Guido Boella, Souhila Kaci, Leendert van der Torre

claim paper

Read More »

click to vote

DAC
2005
ACM

117views Computer Architecture» more DAC 2005»

Dynamic abstraction using SAT-based BMC

14 years 11 months ago

Download computing.ece.vt.edu

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Th...

claim paper

Read More »

click to vote

EVOW
2008
Springer

122views Artificial Intelligence» more EVOW 2008»

Memory Based on Abstraction for Dynamic Fitness Functions

14 years 11 months ago

Download www.cs.le.ac.uk

Hendrik Richter, Shengxiang Yang

claim paper

Read More »

click to vote

DAGSTUHL
2006

119views Software Engineering» more DAGSTUHL 2006»

06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers