Search Sciweavers | Sciweavers

8587 search results - page 32 / 1718

» Interactive dynamic abstraction

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

14 years 1 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

click to vote

PRICAI
1998
Springer

78views Artificial Intelligence» more PRICAI 1998»

Dynamic Non-uniform Abstractions for Approximate Planning in Large Structured Stochastic Domains

14 years 1 months ago

Download www.baum.com.au

Jiri Baum, Ann E. Nicholson

claim paper

Read More »

click to vote

EUROPAR
1997
Springer

76views Distributed And Parallel Com...» more EUROPAR 1997»

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract)

14 years 1 months ago

Download www.cs.sunysb.edu

Ruth Breu, Radu Grosu

claim paper

Read More »

click to vote

DAC
2010
ACM

152views Computer Architecture» more DAC 2010»

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

14 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

14 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers