Results 1 - 10 of 2,203

IZIC 1.0 : An Overview for the User

by Norbert Kajler
"... this paper were produced using standard X11 screen capture programs (which means that what is shown on the paper has the same resolution as what was displayed on the screen). 1.4 Architecture and Implementation ..."
Abstract - Add to MetaCart
this paper were produced using standard X11 screen capture programs (which means that what is shown on the paper has the same resolution as what was displayed on the screen). 1.4 Architecture and Implementation

Teddy: A sketching interface for 3d freeform design

by Takeo Igarashi, Satoshi Matsuoka, Hidehiko Tanaka , 1999
"... We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes interactively on the screen and the system automatically constructs plausible 3D polygonal surfaces. Our system supports seve ..."
Abstract - Cited by 486 (35 self) - Add to MetaCart
We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes interactively on the screen and the system automatically constructs plausible 3D polygonal surfaces. Our system supports

The Determinants of Credit Spread Changes.

by Pierre Collin-Dufresne , Robert S Goldstein , J Spencer Martin , Gurdip Bakshi , Greg Bauer , Dave Brown , Francesca Carrieri , Peter Christoffersen , Susan Christoffersen , Greg Duffee , Darrell Duffie , Vihang Errunza , Gifford Fong , Mike Gallmeyer , Laurent Gauthier , Rick Green , John Griffin , Jean Helwege , Kris Jacobs , Chris Jones , Andrew Karolyi , Dilip Madan , David Mauer , Erwan Morellec , Federico Nardari , N R Prabhala , Tony Sanders , Sergei Sarkissian , Bill Schwert , Ken Singleton , Chester Spatt , René Stulz - Journal of Finance , 2001
"... ABSTRACT Using dealer's quotes and transactions prices on straight industrial bonds, we investigate the determinants of credit spread changes. Variables that should in theory determine credit spread changes have rather limited explanatory power. Further, the residuals from this regression are ..."
Abstract - Cited by 422 (2 self) - Add to MetaCart
changes are principally driven by local supply/demand shocks that are independent of both credit-risk factors and standard proxies for liquidity. * Collin-Dufresne is at Carnegie Mellon University. Goldstein is at Washington University in St. Louis. Martin is at Arizona State University. A significant

Type-based race detection for Java

by Cormac Flanagan, Stephen N. Freund - IN PROCEEDINGS OF THE SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
"... This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchronization patterns. These patterns include classes with internal synchronization, classes that require client-side synchr ..."
Abstract - Cited by 281 (24 self) - Add to MetaCart
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchronization patterns. These patterns include classes with internal synchronization, classes that require client

Articulated pose estimation with flexible mixturesof-parts

by Yi Yang, Deva Ramanan - In CVPR
"... We describe a method for human pose estimation in static images based on a novel representation of part mod-els. Notably, we do not use articulated limb parts, but rather capture orientation with a mixture of templates for each part. We describe a general, flexible mixture model for capturing contex ..."
Abstract - Cited by 179 (8 self) - Add to MetaCart
contextual co-occurrence relations between parts, augmenting standard spring models that encode spa-tial relations. We show that such relations can capture no-tions of local rigidity. When co-occurrence and spatial rela-tions are tree-structured, our model can be efficiently opti-mized with dynamic

Eliminating Array Bound Checking Through Dependent Types

by Hongwei Xi, Frank Pfennig - In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation , 1998
"... We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This enables the programmer to capture more invariants through types while type-checking remains decidable in theory and can s ..."
Abstract - Cited by 186 (24 self) - Add to MetaCart
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This enables the programmer to capture more invariants through types while type-checking remains decidable in theory and can

Self-determination and persistence in a real-life setting: Toward a motivational model of high school dropout.

by Robert J Vallerand , Michelle S Fbrtier , Frederic Guay - Journal of Personality and Social Psychology, , 1997
"... The purpose of this study was to propose and test a motivational model of high school dropout. The model posits that teachers, parents, and the school administration's behaviors toward students influence students' perceptions of competence and autonomy. The less autonomy supportive the so ..."
Abstract - Cited by 183 (19 self) - Add to MetaCart
, students were asked to complete the questionnaire described above in class. The questionnaire was administered by a trained experimenter according to standardized instructions. The experimenter explained that the purpose of the questionnaire was to learn about the feelings and behaviors of high school

Transcriptional adaptation of Mycobacterium tuberculosis within macrophages: insights into the phagosomal environment

by Sabine Ehrt, Martin I. Voskuil, Yang Liu, Joseph A. Mangan, Irene M. Monahan, Gregory Dolganov, Brad Efron, Philip D. Butcher, Carl Nathan, Gary K. Schoolnik - J Exp Med , 2003
"... Little is known about the biochemical environment in phagosomes harboring an infectious agent. To assess the state of this organelle we captured the transcriptional responses of Mycobacterium tuberculosis (MTB) in macrophages from wild-type and nitric oxide (NO) synthase 2–deficient mice before and ..."
Abstract - Cited by 167 (11 self) - Add to MetaCart
Little is known about the biochemical environment in phagosomes harboring an infectious agent. To assess the state of this organelle we captured the transcriptional responses of Mycobacterium tuberculosis (MTB) in macrophages from wild-type and nitric oxide (NO) synthase 2–deficient mice before

Proving pointer programs in Hoare Logic

by Richard Bornat , 2000
"... . It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of Hoare logic's treatment of variable assignment, where substitution affects only relevant assertion formul. The ..."
Abstract - Cited by 118 (7 self) - Add to MetaCart
weapons against these troublesome mappings are assertions which describe spatial separation of data structures. Three example proofs are sketched. 1 Introduction The power of the Floyd/Hoare treatment of imperative programs [8][11] lies in its use of variable substitution to capture the semantics

Using Heteroscedasticity Consistent Standard Errors in the Linear Regression Model

by J. Scott Long, Laurie H. Ervin - The American Statistician , 2000
"... In the presence of heteroscedasticity, OLS estimates are unbiased, but the usual tests of significance are generally inappropriate and their use can lead to incorrect inferences. Tests based on a heteroscedasticity consis-tent covariance matrix (HCCM), however, are consistent even in the pres-ence o ..."
Abstract - Cited by 119 (0 self) - Add to MetaCart
known as HC3, work well even for N ’s as small as 25. We recommend that: 1) data analysts should correct for heteroscedasticity using a HCCM whenever there is reason to suspect heteroscedasticity; 2) the decision to use a HCCM-based tests should not be determined by a screening test
Results 1 - 10 of 2,203