Search Sciweavers | Sciweavers

798 search results - page 11 / 160

» Interval Methods: An Introduction

click to vote

SAS
2010
Springer

108views Formal Methods» more SAS 2010»

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables

13 years 8 months ago

Download www-pequan.lip6.fr

Alexandre Chapoutot

claim paper

Read More »

click to vote

RC
2006

48views more RC 2006»

Improvement of a Direct Method for Outer Solution of Linear Parametric Systems

13 years 10 months ago

Download 81.161.252.58

Recently, a direct method for outer solution of linear parametric systems has been suggested for the general case where the elements of the system are nonlinear functions of indepe...

Lubomir Kolev

claim paper

Read More »

click to vote

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

Generic Programming: An Introduction

14 years 2 months ago

Download www.itee.uq.edu.au

Roland Carl Backhouse, Patrik Jansson, Johan Jeuri...

claim paper

Read More »

click to vote

CONCUR
2008
Springer

95views Distributed And Parallel Com...» more CONCUR 2008»

Abstraction for Stochastic Systems by Erlang's Method of Stages

13 years 11 months ago

Download www4.in.tum.de

ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...

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

claim paper

Read More »

134

click to vote

Book

1100views

Introduction to Computer Vision

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers