1689 search results - page 316 / 338 » Refining abstract interpretations |
CORR
2011
Springer
14 years 6 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
114
click to vote
CVPR
1998
IEEE
16 years 1 months ago
1998
IEEE
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. Brightness values of pixels in an image are related to image irradiance by a non-linear function, called the radiometric response function. Recovery of this function is i...
125
click to vote
ECCV
1998
Springer
16 years 1 months ago
1998
Springer
Abstract. This paper presents a new framework for analyzing the geometry of multiple 3D scene points from multiple uncalibrated images, based on decomposing the projection of these...
178
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract-- Multi-tenant data management is a form of Software as a Service (SaaS), whereby a third party service provider hosts databases as a service and provides its customers wi...