1585 search results - page 143 / 317 » Automatically optimizing secure computation |
STACS
2007
Springer
14 years 2 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
BMVC
2010
13 years 6 months ago
2010
The automatic detection of objects within complex volumetric imagery is becoming of increased interest due to the use of dual energy Computed Tomography (CT) scanners as an aviati...
3DPVT
2006
IEEE
14 years 2 months ago
2006
IEEE
Building footprints have been shown to be extremely useful in urban planning, infrastructure development, and roof modeling. Current methods for creating these footprints are ofte...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Generic camera modeling using raxels and associated methods was recently introduced in Computer Vision. The main advantage is the applicability for any camera model, which contras...
GCC
2003
Springer
14 years 1 months ago
2003
Springer
A fundamental problem that confronts Shanghai Information Grid is to adopt a good Grid toolkit, since the “de facto” standard Globus Toolkit does not support Information Grid w...