1508 search results - page 143 / 302 » A Toolbox of Level Set Methods |
116
Voted
ICWE
2003
Springer
15 years 8 months ago
2003
Springer
The development process of hypermedia applications involves a variety of users with different levels of knowledge and skills. In order to get a good communication among participa...
125
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
134
click to vote
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
128
Voted
APNOMS
2006
Springer
15 years 7 months ago
2006
Springer
Many research works address detection and identification of network anomalies using traffic analysis. This paper considers large topologies, such as those of an ISP, with traffic a...
139
Voted
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Unsupervised learning requires a grouping step that defines which data belong together. A natural way of grouping in images is the segmentation of objects or parts of objects. Whi...