13618 search results - page 2351 / 2724 » The Newton Operating System |
207
click to vote
FM
2001
Springer
16 years 2 days ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
225
click to vote
SIGGRAPH
2010
ACM
16 years 2 days ago
2010
ACM
We present a method for parameterizing subdivision surfaces in an as-rigid-as-possible fashion. While much work has concentrated on parameterizing polygon meshes, little if any wo...
214
click to vote
ICVS
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
221
click to vote
IFL
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
222
click to vote
MICCAI
2001
Springer
16 years 1 days ago
2001
Springer
Real Time Tomographic Reflection (RTTR) permits in situ visualization of ultrasound images so that direct hand-eye coordination can be employed during invasive procedures. The meth...