3007 search results - page 407 / 602 » Linear Functional Fixed-points |
141
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Functional connectivity has been widely used to reveal the dependencies between signals in complex networks such as neural networks observed from electroencephalogram (EEG) data. ...
149
Voted
CAGD
2011
14 years 7 months ago
2011
This work concerns the approximation of the shape operator of smooth surfaces in R3 from polyhedral surfaces. We introduce two generalized shape operators that are vector-valued l...
175
Voted
CAD
2012
Springer
13 years 11 months ago
2012
Springer
We provide a flexible shape control technique in this paper for the automatic resizing of apparel products. The automatic resizing function has become an essential part of the 3D...
137
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
136
click to vote
PODS
2012
ACM
13 years 5 months ago
2012
ACM
We study the mergeability of data summaries. Informally speaking, mergeability requires that, given two summaries on two data sets, there is a way to merge the two summaries into ...