Sciweavers

2540 search results - page 9 / 508

» Abstract Logics as Dialgebras

32

ICLP
1991
Springer

173views Automated Reasoning» more ICLP 1991»

Abstract Interpretation of Logic Programs

14 years 1 months ago

Abstract Interpretation of Logic Programs

Download www.clip.dia.fi.upm.es

Interpretation of Logic Programs 1

Patrick Cousot

claim paper

Read More »

39

EUSFLAT
2009

138views Fuzzy Logic» more EUSFLAT 2009»

Choquet Integral Based Evaluations by Fuzzy Rules

13 years 7 months ago

Choquet Integral Based Evaluations by Fuzzy Rules

Download www.eusflat.org

Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters

Eiichiro Takahagi

claim paper

Read More »

31

EUSFLAT
2009

124views Fuzzy Logic» more EUSFLAT 2009»

Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling

13 years 7 months ago

Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling

Download www.eusflat.org

Abstract

Rainer Palm, Bourhane Kadmiry, Boyko Iliev, Dimite...

claim paper

Read More »

26

CAV
2007
Springer

113views Hardware» more CAV 2007»

Three-Valued Abstraction for Continuous-Time Markov Chains

14 years 4 months ago

Three-Valued Abstraction for Continuous-Time Markov Chains

Download www4.in.tum.de

lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...

Joost-Pieter Katoen, Daniel Klink, Martin Leucker,...

claim paper

Read More »

31

NDJFL
2010

100views Computer Networks» more NDJFL 2010»

Numerical Abstraction via the Frege Quantifier

13 years 4 months ago

Numerical Abstraction via the Frege Quantifier

Download philosophy.ucdavis.edu

l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...

Gian Aldo Antonelli

claim paper

Read More »

« Prev « First page 9 / 508 Last » Next »