Sciweavers

317 search results - page 40 / 64
» Real Recursive Functions and Real Extensions of Recursive Fu...
Sort
View
145
Voted
SMA
1999
ACM
205views Solid Modeling» more  SMA 1999»
15 years 7 months ago
A novel FEM-based dynamic framework for subdivision surfaces
Subdivision surfaces have been extensively used to model smooth shapes of arbitrary topology. Recursive subdivision on an userdefined initial control mesh generates a visually pl...
Chhandomay Mandal, Hong Qin, Baba C. Vemuri
128
Voted
JSS
2008
96views more  JSS 2008»
15 years 2 months ago
DR-TCP: Downloadable and reconfigurable TCP
Advances in communication technology allow a variety of new network environments and services available very rapidly. Appearance of various network environments tends to enable a ...
Jae-Hyun Hwang, Jin-Hee Choi, Se-Won Kim, Chuck Yo...
115
Voted
IGPL
2008
124views more  IGPL 2008»
15 years 2 months ago
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
Igor Carboni Oliveira, Walter Alexandre Carnielli
113
Voted
MICCAI
2009
Springer
16 years 4 months ago
Non-rigid Registration of High Angular Resolution Diffusion Images Represented by Gaussian Mixture Fields
In this paper, we present a novel algorithm for non-rigidly registering two high angular resolution diffusion weighted MRIs (HARDI), each represented by a Gaussian mixture field (G...
Baba C. Vemuri, Guang Cheng 0002, Paul R. Carney, ...
127
Voted
ICML
2005
IEEE
16 years 3 months ago
Robust one-class clustering using hybrid global and local search
Unsupervised learning methods often involve summarizing the data using a small number of parameters. In certain domains, only a small subset of the available data is relevant for ...
Gunjan Gupta, Joydeep Ghosh