2989 search results - page 419 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ICCV
2001
IEEE
16 years 4 days ago
2001
IEEE
W e address an open and hitherto neglected problem in computer vision, how to reconstruct the geometry of objects with arbitrary and possibly anisotropic bidirectional reflectance...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Dueto diffuse nature of lightphotons, Diffuse Optical Tomography (DOT) image reconstruction is a challenging 3D problem with a relatively large number of unknowns and limited meas...
116
Voted
POPL
2000
ACM
15 years 2 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
105
Voted
KCAP
2003
ACM
15 years 3 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
TCS
2002
14 years 9 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...