Search Sciweavers | Sciweavers

31387 search results - page 242 / 6278

» Abstracts

167

click to vote

SPIN
2000
Springer

138views Theoretical Computer Science» more SPIN 2000»

Abstraction of Communication Channels in Promela: A Case Study

15 years 10 months ago

Download www.netlib.org

Elena Fersman, Bengt Jonsson

claim paper

Read More »

164

click to vote

CONCUR
1995
Springer

124views Distributed And Parallel Com...» more CONCUR 1995»

Delayed choice for process algebra with abstraction

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

149

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

15 years 10 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Igor Durdanovic, Uwe Gl&aum...

claim paper

Read More »

143

click to vote

ECML
1995
Springer

103views Machine Learning» more ECML 1995»

Simplifying Decision Trees by Pruning and Grafting: New Results (Extended Abstract)

15 years 10 months ago

Download www.di.uniba.it

Floriana Esposito, Donato Malerba, Giovanni Semera...

claim paper

Read More »

198

click to vote

ECML
1995
Springer

121views Machine Learning» more ECML 1995»

Generating Neural Networks Through the Induction of Threshold Logic Unit Trees (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers