Search Sciweavers | Sciweavers

12981 search results - page 287 / 2597

» Model Checking (Abstract)

195

click to vote

JAIR
2008

98views more JAIR 2008»

Refining the Execution of Abstract Actions with Learned Action Models

15 years 6 months ago

Download www.aaai.org

Freek Stulp, Michael Beetz

claim paper

Read More »

139

click to vote

ICSOC
2010
Springer

256views Applied Computing» more ICSOC 2010»

Abstracting and Applying Business Modeling Patterns from RosettaNet

15 years 5 months ago

Download www.csc.ncsu.edu

Pankaj R. Telang, Munindar P. Singh

claim paper

Read More »

144

click to vote

SAS
2010
Springer

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

15 years 5 months ago

Download www.cs.arizona.edu

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. De...

claim paper

Read More »

154

click to vote

SOCA
2010
IEEE

211views Applied Computing» more SOCA 2010»

MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations

15 years 5 months ago

Download dbis.eprints.uni-ulm.de

Lianne Bodenstaff, Andreas Wombacher, Manfred Reic...

claim paper

Read More »

155

click to vote

ICDM
2010
IEEE

125views Data Mining» more ICDM 2010»

Abstraction Augmented Markov Models

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers