4341 search results - page 552 / 869 » Quantitative Model checking |
221
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Recent work in the field of machine translation (MT) evaluation suggests that sentence level evaluation based on machine learning (ML) can outperform the standard metrics such as B...
164
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
A novel method for quantitatively measuring social interactions on small temporal and spatial scales on the basis of interaction geometry (reduced to the parameters interpersonal d...
263
click to vote
IGARSS
2010
15 years 4 months ago
2010
Current uncertainties in the total solar irradiance (TSI) and aerosol radiative forcings of climate are so large that they limit quantitative evaluation of climate models against ...
237
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
In this work, we propose a contour and region detector for video data that exploits motion cues and distinguishes occlusion boundaries from internal boundaries based on optical ï¬...
157
click to vote
ICASSP
2011
IEEE
2011
IEEE
Detecting oscillating singularities in multifractal analysis: Application to hydrodynamic turbulence
14 years 10 months ago
Multifractal analysis describes data as a collection of singularities. However, its classical formulation does not account for their possibly oscillating nature, while, in a numbe...