Search Sciweavers | Sciweavers

3624 search results - page 60 / 725

» Abstract Algebraic Logic

132

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 10 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

117

click to vote

CSL
2006
Springer

90views Automated Reasoning» more CSL 2006»

Hoare Logic in the Abstract

15 years 10 months ago

Download www.eecs.qmul.ac.uk

Ursula Martin, Erik A. Mathiesen, Paulo Oliva

claim paper

Read More »

155

click to vote

DCOSS
2006
Springer

90views Distributed And Parallel Com...» more DCOSS 2006»

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

15 years 10 months ago

Download www.sics.se

Luca Mottola, Gian Pietro Picco

claim paper

Read More »

181

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

Download robotics.stanford.edu

Mehran Sahami

claim paper

Read More »

136

click to vote

LPAR
1991
Springer

127views Automated Reasoning» more LPAR 1991»

Abstract Syntax and Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers