Sciweavers

21319 search results - page 251 / 4264
» An Approach for Method Reengineering
Sort
View
APIN
1998
78views more  APIN 1998»
15 years 4 months ago
The Method of Assigning Incidences
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...
Weiru Liu, David McBryan, Alan Bundy
JUCS
2002
113views more  JUCS 2002»
15 years 4 months ago
The Origins and the Development of the ASM Method for High Level System Design and Analysis
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
Egon Börger
SIAMSC
2010
130views more  SIAMSC 2010»
14 years 11 months ago
Quasi-Monte Carlo Method for Infinitely Divisible Random Vectors via Series Representations
Infinitely divisible random vector without Gaussian component admits representations of shot noise series. Due to possible slow convergence of the series, they have not been inves...
Junichi Imai, Reiichiro Kawai
ICASSP
2011
IEEE
14 years 8 months ago
Proximal splitting methods for depth estimation
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...
Mireille El Gheche, Jean-Christophe Pesquet, Jouma...
CLEF
2011
Springer
14 years 4 months ago
Adapting Statistical Language Identification Methods for Short Queries
This paper describes the participation of UAIC team at the LogCLEF 2011 initiative, language identification task. Our approach is an aggregation of known methods for recognizing la...
Alexandru-Lucian Gînsca, Emanuela Boros, Adr...