Search Sciweavers | Sciweavers

31387 search results - page 34 / 6278

» Abstracts

click to vote

PKDD
2010
Springer

193views Data Mining» more PKDD 2010»

Process Mining Meets Abstract Interpretation

13 years 8 months ago

Download www.lsi.upc.es

Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...

Josep Carmona, Jordi Cortadella

claim paper

Read More »

click to vote

ENTCS
2010

72views more ENTCS 2010»

View-Augmented Abstractions

13 years 7 months ago

Download www.cs.wisc.edu

mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...

Matt Elder, Denis Gopan, Thomas W. Reps

claim paper

Read More »

click to vote

ENTCS
2010

95views more ENTCS 2010»

Quadtrees as an Abstract Domain

13 years 7 months ago

Download www.soi.city.ac.uk

s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...

Jacob M. Howe, Andy King, Charles Lawrence-Jones

claim paper

Read More »

click to vote

ENTCS
2010

88views more ENTCS 2010»

Range and Set Abstraction using SAT

13 years 7 months ago

Download www.cs.kent.ac.uk

d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...

Edd Barrett, Andy King

claim paper

Read More »

click to vote

FMSD
2010

111views more FMSD 2010»

Context-aware counter abstraction

13 years 7 months ago