2111 search results - page 301 / 423 » Understanding the Yarowsky Algorithm |
183
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
157
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents new results about digital straight segments, their recognition and related properties. They come from the study of the arithmetically based recognitio...
183
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The increased availability of biological databases containing representations of complex objects permits access to vast amounts of data. In spite of the recent renewed in...
158
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces a new design methodology (we call it "innovization") in the context of finding new and innovative design principles by means of optimization techni...
164
click to vote
3DIM
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper proposes a technique for three-dimensional reconstruction of an underwater environment from range views acquired by an acoustic camera. The final target of the work lie...