1317 search results - page 122 / 264 » A Technique for Constructing Developable Surfaces |
163
click to vote
AISC
2006
Springer
15 years 8 months ago
2006
Springer
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
124
click to vote
EPIA
1995
Springer
15 years 8 months ago
1995
Springer
This paper describes a method to enhance the performance ofa unification-style bottom-up chart parser by means oftop-down filtering techniques. The filter developed consists of a s...
157
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
155
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
143
click to vote
BMVC
1998
15 years 6 months ago
1998
We consider the problem of obtaining the 3D trajectory of a ball from a sequence of images taken with a camera which is possibly rotating and zooming (but not translating). Techni...