3229 search results - page 134 / 646 » Theories with the Independence Property |
102
click to vote
RSCTC
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we introduce the concept of valued tolerance as an extension of the usual concept of indiscernibility (which is a crisp equivalence relation) in rough sets theory. So...
122
Voted
JAT
2008
15 years 22 days ago
2008
Variable Hilbert scales are an important tool for the recent analysis of inverse problems in Hilbert spaces, as these constitute a way to describe smoothness of objects other than ...
107
click to vote
FUIN
2002
15 years 16 days ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
115
Voted
TVCG
2012
13 years 3 months ago
2012
—The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topologi...
141
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...