Sciweavers

5510 search results - page 45 / 1102
» Mathematics
Sort
View
MLQ
1998
126views more  MLQ 1998»
14 years 9 months ago
Reverse Mathematics and Recursive Graph Theory
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theor...
William I. Gasarch, Jeffry L. Hirst
ENTCS
2010
98views more  ENTCS 2010»
14 years 7 months ago
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
Eric Goubault, Stéphane Le Roux, Jeremy Lec...
AINA
2006
IEEE
15 years 3 months ago
Querying Registry-Published Mathematical Web Services
This paper describes a light-weight, content-based, functional query language. The Mathematical Services Query Language (MSQL) has been developed for querying mathematical web ser...
Rebhi Baraka, Wolfgang Schreiner
EEE
2005
IEEE
15 years 3 months ago
A Web Registry for Publishing and Discovering Mathematical Services
This paper describes an extension of the ebXML registry for publishing and discovering mathematical service descriptions. The MathBroker registry is able to handle descriptions gi...
Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner
87
Voted
SIBGRAPI
2005
IEEE
15 years 3 months ago
A Brief Account of the Relations between Gray-Scale Mathematical Morphologies
Mathematical morphology was originally conceived as a set theoretic approach for the processing of binary images. Approaches that extend classical binary morphology to gray-scale ...
Peter Sussner, Marcos Eduardo Valle