1317 search results - page 87 / 264 » A Technique for Constructing Developable Surfaces |
109
click to vote
CADE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
83
Voted
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper introduces our recently developed high precision robot localization system employing position sensitive detectors (PSD). A lateral effect PSD is an ideal position se...
ACL
1998
14 years 11 months ago
1998
A critical path in the development of natural language understanding NLU modules lies in the di culty of de ning a mapping from words to semantics: Usually it takes in the order o...
ICCD
2004
IEEE
15 years 7 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
83
Voted
SIGGRAPH
1998
ACM
15 years 2 months ago
1998
ACM
This article introduces new techniques for non-distorted texture mapping on complex triangulated meshes. Texture coordinates are assigned to the vertices of the triangulation by u...