9049 search results - page 338 / 1810 » The New C Standard |
146
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
Different file formats for storage and manipulation of volumetric data exist today, but none of them has been accepted as a standard by the volume visualization and volume graphi...
165
click to vote
3DIM
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we address the problem of hand-eye calibration of a robot mounted video camera. In a rst time, we derive a new linear formulation of the problem. This allows an alg...
194
click to vote
CCS
1999
ACM
15 years 11 months ago
1999
ACM
We describe and analyze a new digital signature scheme. The new scheme is quite efficient, does not require the the signer to maintain any state, and can be proven secure against ...
193
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
150
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...