9810 search results - page 167 / 1962 » Problems, Descriptions and Objects |
121
click to vote
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
144
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
147
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
139
click to vote
WSC
1998
15 years 5 months ago
1998
Modeling and simulation provide objective analysis tools for many fields including manufacturing. This paper presents the requirements and describes the usefulness of a web-based ...
183
click to vote
Publication
![Optimal Approximations by Piecewise Smooth Functions and Associated Variational Problems - [ Mumford-Shah ]](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/mumphord_shah.jpg "Optimal Approximations by Piecewise Smooth Functions and Associated Variational Problems - [ Mumford-Shah ]")
"The purpose of this paper is to introduce and study the most basic properties of three new variational problems which are suggested by applications to computer vision. In com...