8337 search results - page 265 / 1668 » Reasoning With Characteristic Models |
163
click to vote
CAIP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
135
click to vote
IWANN
1999
Springer
15 years 10 months ago
1999
Springer
The performance characteristics of five variants of the Hopfield network are examined. Two performance metrics are used: memory capacity, and a measure of the size of basins of att...
159
click to vote
VAMOS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
137
click to vote
CSSC
2010
15 years 3 months ago
2010
This paper investigates an efficient estimation method for a class of switching regressions based on the characteristic function (CF). We show that with the exponential weighting ...
171
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...