Filters








1,944 Hits in 3.6 sec

Carving Parameterized Unit Tests [article]

Alexander Kampmann, Andreas Zeller
2018 arXiv   pre-print
We present a method to automatically extract ("carve") parameterized unit tests from system executions.  ...  The unit tests execute the same functions as the system tests they are carved from, but can do so much faster as they call functions directly; furthermore, being parameterized, they can execute the functions  ...  explore paths in the carved parameterized unit test.  ... 
arXiv:1812.07932v1 fatcat:5evp3v74nngcjemo3v5elexvom

A Selective Approach to Internal Inference [article]

Samuel M. Gross, Jonathan Taylor, Robert Tibshirani
2015 arXiv   pre-print
Simulations show that our method is able to properly control the level of the test, and that in certain settings we have more power than sample splitting.  ...  We compare a naive t-test (as ifŷ was given), our method, sample splitting, pre-validation, and a data carving version of our test.  ...  On the eventM = M , assume we have the following statistical model parameterized by (β M , γ, σ 2 ): y = X E β M + Zγ + (13) where ∼ N (0, σ 2 I). We want to test H 0,M : β M = β 0 .  ... 
arXiv:1510.00486v1 fatcat:xzmlwzdxsraatozrij7jewcixe

An Interactive Local Flattening Operator to Support Digital Investigations on Artwork Surfaces

N. Pietroni, C. Massimiliano, P. Cignoni, R. Scopigno
2011 IEEE Transactions on Visualization and Computer Graphics  
A graphical example of residual marks detection and characterization: the user interactively selects a portion of the surface to be studied; the system produces a parameterized image patch; then, high  ...  The proposed approach has been implemented as a sketch-based system that allows to design with a few gestures a set of (possibly overlapping) parameterizations of rectangular portions of the surface.  ...  A cross field is generally specified by two unit vectors for each face.  ... 
doi:10.1109/tvcg.2011.165 pmid:22034316 fatcat:4wzmadtn7ndfdge46fjtdlvs4a

A Computational Approach to the Reconstruction of Surface Geometry from Early Temple Superstructures

Sambit Datta, David Beynon
2005 International Journal of Architectural Computing  
Finally, the units of carving are superimposed onto the horizontal band model (Figure 5 and Figure 6 ).  ...  carved patterns. ᭣ Figure 6:The local geometry of the central spine is computed into a three dimensional tile made of a bounding box and two interlaced segments, a band model and units composed of carved  ... 
doi:10.1260/147807705777781068 fatcat:swgeodwxwzb3bhkiocq2kkvmuu

Space-time diversity systems based on linear constellation precoding

Yan Xin, Zhengdao Wang, G.B. Giannakis
2003 IEEE Transactions on Wireless Communications  
Our designs are based either on parameterizations of unitary matrices, or on algebraic number-theoretic constructions.  ...  In Test case 5, the channel capacity is computed using [9, eq. (4)].  ...  To prove the case for odd , we only need to show that when is integral over and , then at least one root of does not have unit modulus. Suppose that all roots of have unit modulus.  ... 
doi:10.1109/twc.2003.808970 fatcat:7j7na6t6bfaznahftopggqqdbu

Parameterized complexity of quantum invariants [article]

Clément Maria
2019 arXiv   pre-print
We give a general fixed parameter tractable algorithm to compute quantum invariants of links presented by diagrams, whose complexity is singly exponential in the carving-width (or the tree-width) of the  ...  In particular, we get a O(N^3/2cwpoly(n)) time algorithm to compute any Reshetikhin-Turaev invariant—derived from a simple Lie algebra g—of a link presented by a planar diagram with n crossings and carving-width  ...  Introduction In geometric topology, testing the topological equivalence of knots (up to isotopy) is a fundamental yet remarkably difficult algorithmic problem.  ... 
arXiv:1910.00477v1 fatcat:qzzlabzd4zhezfuw4eux36rb44

FiberNET: An Ensemble Deep Learning Framework for Clustering White Matter Fibers [chapter]

Vikash Gupta, Sophia I. Thomopoulos, Faisal M. Rashid, Paul M. Thompson
2017 Lecture Notes in Computer Science  
To achieve such clustering, we first need to re-parameterize the fibers in an intrinsic space. The clustering is performed in induced parameterized coordinates.  ...  Following the "sphere carving" work by Wang and colleagues [19] in this paper, we developed a novel method that parameterizes the entire volume of the brain and every structure contained in it.  ...  The non-linearity inducing functions used are rectified linear units (ReLU) and the hyperbolic tangent function (tanh).  ... 
doi:10.1007/978-3-319-66182-7_63 fatcat:s2fzibvdrbfhvdyuubmcbglsoy

Effects of a mental health carve-out on use, costs, and payers: A four-year study

Kyle L. Grazier, Laura L. Eselius, Teh-wei Hu, Karen K. Shore, William A. G'Sell
1999 Journal of Behavioral Health Services & Research  
to the year prior to the carve-out model.  ...  In the first three years of the carve-out, the likelihood of employees seeking mental health care increased in significant part because of the carve-out.  ...  The unit of analysis is the person-year.  ... 
doi:10.1007/bf02287299 pmid:10565099 fatcat:zzjrvc4eivddpno3retelqke4u

FiberNET: An ensemble deep learning framework for clustering white matter fibers [article]

Vikash Gupta, Sophia I Thomopoulos, Faisal M Rashid, Paul M Thompson
2017 bioRxiv   pre-print
To achieve such clustering, we first need to re-parameterize the fibers in an intrinsic space. The clustering is performed in induced parameterized coordinates.  ...  Following the "sphere carving" work by Wang and colleagues [19] in this paper, we developed a novel method that parameterizes the entire volume of the brain and every structure contained in it.  ...  The non-linearity inducing functions used are rectified linear units (ReLU) and the hyperbolic tangent function (tanh).  ... 
doi:10.1101/141036 fatcat:amg4vjuo6jgjboctsbhgkm5le4

A line-structure-preserving approach to image resizing

Che-Han Chang, Yung-Yu Chuang
2012 2012 IEEE Conference on Computer Vision and Pattern Recognition  
(b) When using the proposed parameterization, the change is the inner product of the translation vector and the green unit vector, which is known and fixed. Overview of the proposed method.  ...  Results We tested our method and compared to other methods on two sets of images, Flickr and RetargetMe.  ... 
doi:10.1109/cvpr.2012.6247786 dblp:conf/cvpr/ChangC12 fatcat:e3eqg76ypneyza2xtofoazqic4

Appearance based object modeling using texture database: Acquisition, compression and rendering [article]

R. Furukawa, H. Kawasaki, K. Ikeuchi, M. Sakauchi
2002 Symposium on Rendering  
Since the shape of the object is roughly convex, we used only voxel carving to generate a 3D model.  ...  From the images, we construct a 3D shape with a visual hull technique using voxel carving 13 , 16 .  ... 
doi:10.2312/egwr/egwr02/257-266 fatcat:hty6qquhlfdmnag2bkvxr2stma

Experimental Results on a Mach 14 Waverider with Blunt Leading Edges

Michael Joseph Gillum, Mark J. Lewis
1997 Journal of Aircraft  
It was from within this conical flowfield that the sharp-edged wave- rider was carved out and its lower surface properties were defined.  ...  Cp Fig. 8 Parameterization of waverider drag polar.  ... 
doi:10.2514/2.2198 fatcat:depzo2gabjhsxku4txsefrk4jy

Understanding Generalization through Visualizations [article]

W. Ronny Huang, Zeyad Emam, Micah Goldblum, Liam Fowl, Justin K. Terry, Furong Huang, Tom Goldstein
2020 arXiv   pre-print
Yet SGD miraculously avoids these bad minima, carving out a path towards a parameter configuration that generalizes well.  ...  Let r(φ) denote the radius of the basin (distance from minimizer to basin boundary) in the direction of the unit vector φ.  ... 
arXiv:1906.03291v6 fatcat:ijnonpyrbnhcvnekeo7ejvrkbm

Automatic fetal face detection from ultrasound volumes via learning 3D and 2D information

Shaolei Feng, S. Kevin Zhou, Sara Good, Dorin Comaniciu
2009 2009 IEEE Conference on Computer Vision and Pattern Recognition  
To enhance the rendering of the fetal face, an automatic carving algorithm is proposed to remove all obstructions in front of the face based on the detected face mesh.  ...  The location of each candidate box is parameterized by 9 transformation parameters (3 for translation, 3 for orientation and 3 for scale).  ...  The carving algorithm is described in Algorithm 1.  ... 
doi:10.1109/cvpr.2009.5206527 dblp:conf/cvpr/FengZGC09 fatcat:dbixxifrsrbe3cwoolendcaeia

Automatic fetal face detection from ultrasound volumes via learning 3D and 2D information

Shaolei Feng, S.K. Zhou, S. Good, D. Comaniciu
2009 2009 IEEE Conference on Computer Vision and Pattern Recognition  
To enhance the rendering of the fetal face, an automatic carving algorithm is proposed to remove all obstructions in front of the face based on the detected face mesh.  ...  The location of each candidate box is parameterized by 9 transformation parameters (3 for translation, 3 for orientation and 3 for scale).  ...  The carving algorithm is described in Algorithm 1.  ... 
doi:10.1109/cvprw.2009.5206527 fatcat:luayopcw4zb3jl4iz4loeos4j4
« Previous Showing results 1 — 15 out of 1,944 results