7766 search results - page 336 / 1554 » Testing Nondeterminate Systems |
194
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Symmetry is an effective geometric cue to facilitate conventional segmentation techniques on images of man-made environment. Based on three fundamental principles that summarize t...
147
click to vote
DPHOTO
2010
15 years 8 months ago
2010
Conventional point spread function (PSF) measurement methods often use parametric models for the estimation of the PSF. This limits the shape of the PSF to a specific form provide...
198
click to vote
IANDC
2006
15 years 6 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
169
click to vote
CLEAR
2007
Springer
16 years 27 days ago
2007
Springer
The paper describes the IBM systems submitted to the NIST Rich Transcription 2007 (RT07) evaluation campaign for the speechto-text (STT) and speaker-attributed speech-to-text (SAST...
183
click to vote
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...