Search Sciweavers | Sciweavers

3053 search results - page 54 / 611

» A Logic of Abstract Argumentation

128

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 »

110

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 »

145

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 »

178

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 9 months ago

Download robotics.stanford.edu

Mehran Sahami

claim paper

Read More »

130

click to vote

LPAR
1991
Springer

127views Automated Reasoning» more LPAR 1991»

Abstract Syntax and Logic Programming

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers