Sciweavers

2550 search results - page 118 / 510
» The Meaning of Open Standards
Sort
View
DAGM
2004
Springer
15 years 10 months ago
Accurate and Efficient Approximation of the Continuous Gaussian Scale-Space
Abstract. The Gaussian scale-space is a standard tool in image analysis. While continuous in theory, it is generally realized with fixed regular grids in practice. This prevents th...
Ullrich Köthe
FOCS
2004
IEEE
15 years 10 months ago
Learning with Errors in Answers to Membership Queries
We study the learning models defined in [AKST97]: Learning with equivalence and limited membership queries and learning with equivalence and malicious membership queries. We show ...
Laurence Bisht, Nader H. Bshouty, Lawrance Khoury
EON
2008
15 years 8 months ago
Semantic System Integration - Incorporating Rule based Semantic Bridges into BPEL Processes
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
Nils Barnickel, Ralf Weinand, Matthias Flügge
DAGSTUHL
2003
15 years 7 months ago
Interactive Mathematical Documents on the Web
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Bar...
CSL
2010
Springer
15 years 7 months ago
Formal Theories for Linear Algebra
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
Stephen Cook, Lila Fontes