860 search results - page 103 / 172 » Japanese Case Structure Analysis |
139
click to vote
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
155
click to vote
COMPGEOM
2003
ACM
15 years 9 months ago
2003
ACM
We address the problem of curvature estimation from sampled smooth surfaces. Building upon the theory of normal cycles, we derive a definition of the curvature tensor for polyhed...
116
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a linear solution for reconstructing the 3D trajectory of a moving point from its correspondence in a collection of 2D perspective images, given the 3D spatial ...
122
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper considers the current efforts to describe the effect of Internet-based technology on interactivity between citizens and public organizations to be incomplete and poorly...
126
click to vote
DIAU
2000
Springer
15 years 8 months ago
2000
Springer
In the past independent IT security evaluation according to published criteria has not realized its potential for the assessment of privacy enhancing technologies (PETs). Main rea...