Search results for "casts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
129	Michael Siff, Satish Chandra 0001, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps	Coping with Type Casts in C.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
71	Jeremy G. Siek, Philip Wadler	Threesomes, with and without blame.	POPL	2010	DBLP DOI BibTeX RDF	blame tracking, lambda-calculus, coercions, casts
65	Jeremy G. Siek, Ronald Garcia, Walid Taha	Exploring the Design Space of Higher-Order Casts.	ESOP	2009	DBLP DOI BibTeX RDF
52	Nicola Brusco, Simone Carmignato, Marco Andreetto, Guido Maria Cortelazzo	Metrological Analysis of a Procedure for the Automatic 3D Modeling of Dental Plaster Casts.	3DPVT	2004	DBLP DOI BibTeX RDF
51	Carlos A. Varela, Gul Agha	A Hierarchical Model for Coordination of Concurrent Activities.	COORDINATION	1999	DBLP DOI BibTeX RDF
39	Marco Andreetto, Nicola Brusco, Guido Maria Cortelazzo	Automatic 3D modeling of palatal plaster casts.	3DIM	2003	DBLP DOI BibTeX RDF
39	Zhu Liu 0001, Yao Wang 0001	Major Cast Detection in Video Using Both Speaker and Face Information.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
39	Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller	Efficiently Refactoring Java Applications to Use Generic Libraries.	ECOOP	2005	DBLP DOI BibTeX RDF
39	Satish Chandra 0001, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
33	Marius Nita, Dan Grossman, Craig Chambers	A theory of platform-dependent low-level software.	POPL	2008	DBLP DOI BibTeX RDF	low-level software, portability, type safety, casts
26	Mohamed Hegazy, Myung Hye Cho, Min Hyoung Cho, Soo Yeol Lee	3D Digital Modeling of Dental Casts from Their 3D CT Images with Scatter and Beam-Hardening Correction.	Sensors	2024	DBLP DOI BibTeX RDF
26	Constantin Cezar Petrescu, Sam Smith, Rafail Giavrimis, Santanu Kumar Dash 0001	Do names echo semantics? A large-scale study of identifiers used in C++'s named casts.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
26	Rodolphe Lepigre, Michael Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, Peter Sewell	VIP: verifying real-world C idioms with integer-pointer casts.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
26	Constantin Cezar Petrescu, Sam Smith, Rafail Giavrimis, Santanu Kumar Dash 0001	Do Names Echo Semantics? A Large-Scale Study of Identifiers Used in C++'s Named Casts.	CoRR	2021	DBLP BibTeX RDF
26	Enrique Panera-Rico, José Manuel Castillo-López, Inmaculada C. Palomo-Toucedo, Fernando Chacón-Giráldez, Javier Ramos-Ortega, Gabriel Domínguez-Maldonado	Use of Plantar Pressure Sensors to Take Weight-Bearing Foot Casts.	Sensors	2021	DBLP DOI BibTeX RDF
26	Mathilde Daumas, Tara Chapman, Stéphane Louryan	Le Moustier 1 Neandertal - The discovery of two new sets of casts, 3D reconstruction and comparison with original fossils.	Digit. Appl. Archaeol. Cult. Heritage	2021	DBLP DOI BibTeX RDF
26	Robert Y. Lewis, Paul-Nicolas Madelaine	Normalizing Casts and Coercions.	CoRR	2020	DBLP BibTeX RDF
26	Sameh Talaat, Ahmed Kaboudan, Omar Abdelbary, Katherine Kula, Ahmed Ghoneima, Reinhard Klein, Christoph Bourauel	3D superimposition of dental casts based on coloured landmark detection using combined computer vision and 3D computer graphics techniques.	Comput. methods Biomech. Biomed. Eng. Imaging Vis.	2020	DBLP DOI BibTeX RDF
26	Francesco Buonamici, Rocco Furferi, Lapo Governi, Simone Lazzeri, Kathleen S. McGreevy, Michaela Servi, Emiliano Talanti, Francesca Uccheddu, Yary Volpe	A practical methodology for computer-aided design of custom 3D printable casts for wrist fractures.	Vis. Comput.	2020	DBLP DOI BibTeX RDF
26	Diya Sun, Yuru Pei, Guangying Song, Yuke Guo, Gengyu Ma, Tianmin Xu, Hongbin Zha	Tooth Segmentation and Labeling from Digital Dental Casts.	ISBI	2020	DBLP DOI BibTeX RDF
26	Robert Y. Lewis, Paul-Nicolas Madelaine	Simplifying Casts and Coercions (Extended Abstract).	PAAR+SC²@IJCAR	2020	DBLP BibTeX RDF
26	Cong Rao, Lihao Tian, Dong-Ming Yan 0001, Shenghui Liao, Oliver Deussen, Lin Lu	Consistently fitting orthopedic casts.	Comput. Aided Geom. Des.	2019	DBLP DOI BibTeX RDF
26	Yunbo Zhang, Tsz-Ho Kwok	Customization and topology optimization of compression casts/braces on two-manifold surfaces.	Comput. Aided Des.	2019	DBLP DOI BibTeX RDF
26	Chiu-Ching Tuan, Chi-Heng Lu, Yi-Chao Wu, Wen-Ling Yeh, Mei-Chuan Chen, Tsair-Fwu Lee, Yu-Jing Chen, Hsuan-Kai Kao	Development of a System for Real-Time Monitoring of Pressure, Temperature, and Humidity in Casts.	Sensors	2019	DBLP DOI BibTeX RDF
26	John Peter Campora III, Sheng Chen 0008, Eric Walkingshaw	Casts and costs: harmonizing safety and performance in gradual typing.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
26	Anders Nielsen 0001, Karsten Bolding, Dennis Trolle	A GIS-based framework for quantifying potential shadow casts on lakes applied to a Danish lake experimental facility.	Int. J. Appl. Earth Obs. Geoinformation	2018	DBLP DOI BibTeX RDF
26	Jouni K. Kuusisto, Vesa M. Järvinen, Juha P. Sinisalo	Validation of 3D echocardiographic volume detection of left atrium by human cadaveric casts.	BMC Medical Imaging	2018	DBLP DOI BibTeX RDF
26	Se Jong Oh, Young Jae Kim, Ill Chul Doo	Study of profit model of web-dramas on portal sites using big data; Focused on the Web-dramas with the K-pop Singers as the Lead Casts: "EXO, Next Door" and "I Order You".	Multim. Tools Appl.	2017	DBLP DOI BibTeX RDF
26	Jean-Pierre Jouannaud, Pierre-Yves Strub	Coq without Type Casts: A Complete Proof of Coq Modulo Theory.	LPAR	2017	DBLP DOI BibTeX RDF
26	Xiaoting Zhang, Guoxin Fang, Chengkai Dai, Jouke Verlinden, Jun Wu 0005, Emily Whiting, Charlie C. L. Wang	Thermal-Comfort Design of Personalized Casts.	UIST	2017	DBLP DOI BibTeX RDF
26	Miroslav Jirík, Zbynek Tonar, Anna Králícková, Lada Eberlová, Hynek Mírka, Petra Kochová, Tomás Gregor, Petr Hosek 0002, Miroslava Svobodová, Eduard Rohan, Milena Králícková, Václav Liska	Stereological quantification of microvessels using semiautomated evaluation of X-ray microtomography of hepatic vascular corrosion casts.	Int. J. Comput. Assist. Radiol. Surg.	2016	DBLP DOI BibTeX RDF
26	Dallas Card, Justin H. Gross, Amber E. Boydstun, Noah A. Smith	Analyzing Framing through the Casts of Characters in the News.	EMNLP	2016	DBLP DOI BibTeX RDF
26	Ralf Lämmel, Simon L. Peyton Jones	ICFP 2004: Scrap More Boilerplate: Reflection, Zips, and Generalised Casts.	ACM SIGPLAN Notices	2015	DBLP DOI BibTeX RDF
26	Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis	A formal C memory model supporting integer-pointer casts.	PLDI	2015	DBLP DOI BibTeX RDF
26	Áron Baráth, Zoltán Porkoláb	Life without implicit casts: safe type system in C++.	BCI	2015	DBLP DOI BibTeX RDF
26	Xin Zhong, Deping Yu, Yoke San Wong, Terence Sim, Wen Feng Lu, Kelvin Weng Chiong Foong, Ho-Lun Cheng	3D dental biometrics: Alignment and matching of dental casts for human identification.	Comput. Ind.	2013	DBLP DOI BibTeX RDF
26	Andreas Stuchlik, Stefan Hanenberg	Static vs. dynamic type systems: an empirical study about the relationship between type casts and development time.	DLS	2011	DBLP DOI BibTeX RDF
26	Johnni Winther	Guarded type promotion: eliminating redundant casts in Java.	FTfJP@ECOOP	2011	DBLP DOI BibTeX RDF
26	Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich	Termination Casts: A Flexible Approach to Termination with General Recursion	PAR	2010	DBLP DOI BibTeX RDF
26	Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich	Termination Casts: A Flexible Approach to Termination with General Recursion.	PAR@ITP	2010	DBLP DOI BibTeX RDF
26		Casts.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
26	Boris Altshuler, Hari Krovi, Jérémie Roland	Anderson localization casts clouds over adiabatic quantum optimization	CoRR	2009	DBLP BibTeX RDF
26	Russ Abbott	If a Tree Casts a Shadow is it Telling the Time?	Int. J. Unconv. Comput.	2008	DBLP BibTeX RDF
26	Roxane Bernier	Web Casts as Informal E-Learning for Scientific Centers.	Encyclopedia of Portal Technologies and Applications	2007	DBLP BibTeX RDF
26	Ralph Ewerth, Markus Mühling, Bernd Freisleben	Self-Supervised Learning of Face Appearances in TV Casts and Movies.	Int. J. Semantic Comput.	2007	DBLP DOI BibTeX RDF
26	Russ Abbott	If a tree casts a shadow is it telling the time?	CoRR	2006	DBLP BibTeX RDF
26	Melanie Volkamer, Rüdiger Grimm	Multiple Casts in Online Voting: Analyzing Chances.	Electronic Voting	2006	DBLP BibTeX RDF
26	Russ Abbott	If a Tree Casts a Shadow Is It Telling the Time?	UC	2006	DBLP DOI BibTeX RDF
26	Ralph Ewerth, Markus Mühling, Bernd Freisleben	Self-Supervised Learning of Face Appearances in TV Casts and Movies.	ISM	2006	DBLP DOI BibTeX RDF
26	Robert Bruce Findler, Matthew Flatt, Matthias Felleisen	Semantic Casts: Contracts and Structural Subtyping in a Nominal World.	ECOOP	2004	DBLP DOI BibTeX RDF
26	Ralf Lämmel, Simon L. Peyton Jones	Scrap more boilerplate: reflection, zips, and generalised casts.	ICFP	2004	DBLP DOI BibTeX RDF	type cast, reflection, generic programming, zippers
26	Benedict F. Voit, Eberhard O. Voit	A 7th-grade science project casts doubt on the standard explanation of the Gaussian plume model for seepage through soil.	Environ. Model. Softw.	2000	DBLP DOI BibTeX RDF
26	Paul A. Jensen	Xact-casts: Framework, protocols, and applications.		1999	RDF
26	Charles A. Csuri	The past casts shadows, 1997.	SIGGRAPH Electronic Art and Animation Catalog	1998	DBLP DOI BibTeX RDF
26	A. Ardeshir Goshtasby, S. Nambula, W. G. deRijk, S. D. Campbell	A System for Digital Reconstruction of Gypsum Dental Casts.	IEEE Trans. Medical Imaging	1997	DBLP DOI BibTeX RDF
26	Moss Mossakowski	Pulse operating system textbook casts doubts on ADA: D Keeffe, G M Tomlinson, I C Wand and A J Wand'PULSE: an ADA-based distributed operating system' Academic Press, Orlando, FL, USA (1985) £15.50 pp xiii + 244.	Microprocess. Microsystems	1986	DBLP DOI BibTeX RDF
26	Samuli Laine, Tero Karras	Efficient sparse voxel octrees.	SI3D	2010	DBLP DOI BibTeX RDF
26	Arpita Patra, Ashish Choudhary, C. Pandu Rangan	Simple and efficient asynchronous byzantine agreement with optimal resilience.	PODC	2009	DBLP DOI BibTeX RDF	unbounded computing power, byzantine agreement, asynchronous networks, VSS
26	Manu Sridharan, Rastislav Bodík	Refinement-based context-sensitive points-to analysis for Java.	PLDI	2006	DBLP DOI BibTeX RDF	refinement, points-to analysis, context-sensitive analysis, demand-driven analysis
26	Kong-Hyun Yun, Hong-Gyoo Sohn, Joon Heo	Road Boundary Extraction Using Shadow Path Reconstruction in Urban Areas.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
26	George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy software.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	pointer qualifier, libraries, subtyping, Memory safety
26	Andrew Kennedy, Claudio V. Russo	Generalized algebraic data types and object-oriented programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	constraints, generics, generalized algebraic data types
26	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer	CCured in the real world.	PLDI	2003	DBLP DOI BibTeX RDF	compatibility with library code, run-time type information, C, type safety, memory safety
26	Dmitri Asonov, Markus Schaal, Johann Christoph Freytag	Absolute Privacy in Voting.	ISC	2001	DBLP DOI BibTeX RDF
26	M. P. S. F. Gomes, Adrian R. W. Barrett, Brian L. Davies	Computer-Assisted Soft-Tissue Surgery Training and Monitoring.	MICCAI	2001	DBLP DOI BibTeX RDF
13	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
13	Sriram Sankaranarayanan 0001	Automatic invariant generation for hybrid systems using ideal fixed points.	HSCC	2010	DBLP DOI BibTeX RDF	verification, hybrid systems, invariants, conservation laws, algebraic geometry
13	Tsung-Wei Huang, Tsung-Yi Ho	A two-stage ILP-based droplet routing algorithm for pin-constrained digital microfluidic biochips.	ISPD	2010	DBLP DOI BibTeX RDF	routing, ilp, microfluidic, biochip
13	Lei Zhang 0055, Piji Li, Jun Ma 0001	A hybrid unsupervised image re-ranking approach with latent topic contents.	CIVR	2010	DBLP DOI BibTeX RDF	latent topic, cluster, image retrieval, diversity, re-rank
13	Harvey Tuch	Formal Verification of C Systems Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	C, Separation logic, Interactive theorem proving
13	Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.	CAV	2009	DBLP DOI BibTeX RDF
13	Simone Alicino, Manuel G. Catalano, Fabio Bonomo, Felipe A. W. Belo, Giorgio Grioli, Riccardo Schiavi, Adriano Fagiolini, Antonio Bicchi	A rough-terrain, casting robot for the ESA Lunar Robotics Challenge.	IROS	2009	DBLP DOI BibTeX RDF
13	Thomas Magesacher	Egress Reduction for OFDM Via Transmit Windowing - Framework and Comparison.	MCSS	2009	DBLP DOI BibTeX RDF
13	Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah	Backward-compatible constant-time exception-protected memory.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility
13	Yutaka Oiwa	Implementation of the memory-safe full ANSI-C compiler.	PLDI	2009	DBLP DOI BibTeX RDF	c language, memory safety
13	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
13	Kevyn Collins-Thompson	Robust Word Similarity Estimation Using Perturbation Kernels.	ICTIR	2009	DBLP DOI BibTeX RDF
13	Tom Bartindale, Jonathan Hook, Patrick Olivier	Media Crate: tangible live media production interface.	TEI	2009	DBLP DOI BibTeX RDF	video mixing, tangible interaction, portable, media, media production
13	Robert K. Shope	Abnormality, cognitive virtues, and knowledge.	Synth.	2008	DBLP DOI BibTeX RDF	Gettier, Greco, Causal judgments, Causal selection, Contrast situation, Cognitive virtue, Differentiating factor, Castañeda, Lehrer, Knowledge, Lottery, Abnormal
13	Antony Eagle	Mathematics and conceptual analysis.	Synth.	2008	DBLP DOI BibTeX RDF	Platitudes, Conceptual analysis, Foundations of mathematics, Intuitions, Fictionalism
13	Deng Cai 0001, Xiaofei He 0001, Jiawei Han 0001	SRDA: An Efficient Algorithm for Large-Scale Discriminant Analysis.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Data mining, Feature evaluation and selection
13	Amin Zia, Thiagalingam Kirubarajan, James P. Reilly, Derek Yee, Kumaradevan Punithakumar, Shahram Shirani	An EM Algorithm for Nonlinear State Estimation With Model Uncertainties.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
13	Achim D. Brucker, Burkhart Wolff	An Extensible Encoding of Object-oriented Data Models in hol.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Verification, Theorem proving, Object-oriented data models, hol
13	Eugene Hsu, Tom Mertens, Sylvain Paris, Shai Avidan, Frédo Durand	Light mixture estimation for spatially varying white balance.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	white balance, image processing, computational photography, color constancy
13	Chunying Zhao, Kang Zhang 0001	A Grammar-Based Reverse Engineering Framework for Behavior Verification.	HASE	2008	DBLP DOI BibTeX RDF
13	Deng Cai 0001, Xiaofei He 0001, Jiawei Han 0001	Training Linear Discriminant Analysis in Linear Time.	ICDE	2008	DBLP DOI BibTeX RDF
13	Tun Thura Thet, Jin-Cheon Na, Christopher S. G. Khoo	Sentiment Classification of Movie Reviews Using Multiple Perspectives.	ICADL	2008	DBLP DOI BibTeX RDF	Movie Review Documents, Information Extraction, Sentiment Classification
13	Louis-François Pau	Privacy management service contacts as a new business opportunity for operators.	NOMS	2008	DBLP DOI BibTeX RDF
13	Samuel Rota Bulò, Andrea Albarelli, Andrea Torsello, Marcello Pelillo	A hypergraph-based approach to affine parameters estimation.	ICPR	2008	DBLP DOI BibTeX RDF
13	Charles X. Ling, Jun Du	Active learning with direct query construction.	KDD	2008	DBLP DOI BibTeX RDF	classification, active learning, supervised learning
13	Samuel Fricker, Paul Grünbacher	Negotiation Constellations - Method Selection Framework for Requirements Negotiation.	REFSQ	2008	DBLP DOI BibTeX RDF
13	Chenjie Gu, Jaijeet S. Roychowdhury	Model reduction via projection onto nonlinear manifolds, with applications to analog circuits and biochemical systems.	ICCAD	2008	DBLP DOI BibTeX RDF
13	Carmela Troncoso, Benedikt Gierlichs, Bart Preneel, Ingrid Verbauwhede	Perfect Matching Disclosure Attacks.	Privacy Enhancing Technologies	2008	DBLP DOI BibTeX RDF
13	Kyung-Gun Na, Moon-Ryul Jung	Curved Ray-Casting for Displacement Mapping in the GPU.	MMM	2008	DBLP DOI BibTeX RDF	Three-Dimensional Graphics and Realism shading, GPU, texture, displacement mapping
13	Nye Parry, Helen Bendon, Stephen Boyd Davis, Magnus Moar	Locating Drama: A Demonstration of Location-Aware Audio Drama.	ICIDS	2008	DBLP DOI BibTeX RDF	Audio Drama, Interactivity, GPS, Narrative, Locative Media
13	Yin Wang 0001, Tae-Sic Yoo, Stéphane Lafortune	Diagnosis of Discrete Event Systems Using Decentralized Architectures.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Diagnosis, Discrete event systems, Decentralized systems
13	Aaditya V. Rangan, David Cai	Fast numerical methods for simulating large-scale integrate-and-fire neuronal networks.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Network architecture, Numerical algorithm
13	Huijun Gao, Tongwen Chen	Stabilization of Nonlinear Systems Under Variable Sampling: A Fuzzy Control Approach.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
13	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca	A provenly correct translation of Fickle into Java.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	semantics preserving translation, Type and effect systems
13	Diana Mateus, Fabio Cuzzolin, Radu Horaud, Edmond Boyer	Articulated Shape Matching by Robust Alignment of Embedded Representations.	ICCV	2007	DBLP DOI BibTeX RDF