Search results for "C-Reps"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Di Wu, Radha Sarma	Dynamic segmentation and incremental editing of boundary representations in a collaborative design environment.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF
78	Stephen M. Pizer, P. Thomas Fletcher, Sarang C. Joshi, Andrew Thall, James Z. Chen, Yonatan Fridman, Daniel S. Fritsch, A. Graham Gash, John M. Glotzer, Michael R. Jiroutek, Conglin Lu, Keith E. Muller, Gregg Tracton, Paul A. Yushkevich, Edward L. Chaney	Deformable M-Reps for 3D Medical Image Segmentation.	Int. J. Comput. Vis.	2003	DBLP DOI BibTeX RDF	medial, segmentation, medical image, deformable model, shape, object
74	David W. Binkley, Susan Horwitz, Thomas W. Reps	Program Integration for Languages with Procedure Calls.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	flow-insensitive summary information, semantics-based program integration, program slicing, data-flow analysis, data dependence, control dependence, program dependence graph
61	Stephen M. Pizer, Sarang C. Joshi, P. Thomas Fletcher, Martin Styner, Gregg Tracton, James Z. Chen	Segmentation of Single-Figure Objects by Deformable M-reps.	MICCAI	2001	DBLP DOI BibTeX RDF
58	G. Ramalingam, Thomas W. Reps	A Theory of Program Modifications.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
55	Weihua Zhang, Xiaoyong Li 0002, Jun Ma 0015, Jie Yu 0008	REPS: 一种高效的容错并行概率流Skyline查询方法 (REPS: An Efficient Fault-tolerant Approach for Parallel Skyline Queries over Probabilistic Data Streams).	计算机科学	2015	DBLP BibTeX RDF
44	Douglas D. Dankel II, María Ósk Kristmundsdóttir	REPS: A Rehabilitation Expert System for Post-stroke Patients.	AIME	2005	DBLP DOI BibTeX RDF
44	Guillaume Caumon, Charles H. Sword Jr., Jean-Laurent Mallet	Constrained modifications of non-manifold B-reps.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF
41	Thomas W. Reps	Algebraic Properties of Program Integration.	ESOP	1990	DBLP DOI BibTeX RDF
36	Cho-Yu Chiang, Ming T. Liu, Mervin E. Muller	Caching Neighborhood Protocol: A Foundation for Building Dynamic Web Caching Hierarchies with Proxy Servers.	ICPP	1999	DBLP DOI BibTeX RDF	Caching Neighborhood Protocol, CNP, caching representatives, C-Reps, Web caching, proxy server
34	Suman K. Sen, Mark Foskey, James Stephen Marron, Martin Andreas Styner	Support vector machine for data on manifolds: An application to image analysis.	ISBI	2008	DBLP DOI BibTeX RDF
34	Qiong Han, Stephen M. Pizer, Derek Merck, Sarang C. Joshi, Ja-Yeon Jeong	Multi-figure Anatomical Objects for Shape Statistics.	IPMI	2005	DBLP DOI BibTeX RDF
34	Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts	Validation of a Methodology for Assessing Software Reliability.	ISSRE	2004	DBLP DOI BibTeX RDF
34	Viktor Kuncak, Martin C. Rinard	Boolean Algebra of Shape Analysis Constraints.	VMCAI	2004	DBLP DOI BibTeX RDF
34	Keith B. Gallagher	Some Notes on Interprocedural Program Slicing.	SCAM	2004	DBLP DOI BibTeX RDF
34	William C. Thibault, Bruce F. Naylor	Set operations on polyhedra using binary space partitioning trees.	SIGGRAPH	1987	DBLP DOI BibTeX RDF
28	Guoqing Zhang, Wenbo Zhao, Jian Liu, Xianming Liu	REPS: Reconstruction-based Point Cloud Sampling.	CoRR	2024	DBLP DOI BibTeX RDF
28	Tommaso Bonato, Abdul Kabbani, Daniele De Sensi, Rong Pan, Yanfang Le, Costin Raiciu, Mark Handley, Timo Schneider, Nils Blach, Ahmad Ghalayini, Daniel S. F. Alves, Michael Papamichael, Adrian M. Caulfield, Torsten Hoefler	SMaRTT-REPS: Sender-based Marked Rapidly-adapting Trimmed & Timed Transport with Recycled Entropies.	CoRR	2024	DBLP DOI BibTeX RDF
28	Mostafa Ayoubi Mobarhan, Muhammed Salamah	REPS-AKA5: A robust group-based authentication protocol for IoT applications in LTE system.	Internet Things	2023	DBLP DOI BibTeX RDF
28	Mostafa Ayoubi Mobarhan, Mohammed Salamah	REPS-AKA3: A secure authentication and re- authentication protocol for LTE networks.	J. Netw. Comput. Appl.	2022	DBLP DOI BibTeX RDF
28	Andrew R. Colligan, Trevor T. Robinson, Declan C. Nolan, Yang Hua, Weijuan Cao	Hierarchical CADNet: Learning from B-Reps for Machining Feature Recognition.	Comput. Aided Des.	2022	DBLP DOI BibTeX RDF
28	Anil Surisetty, Deepak Chaurasiya, Nitish Kumar, Alok Singh, Gaurav Dhama, Aakarsh Malhotra, Ankur Arora, Vikrant Dey	RePS: Relation, Position and Structure aware Entity Alignment.	WWW (Companion Volume)	2022	DBLP DOI BibTeX RDF
28	Peter Meltzer, Hooman Shayani, Amir Khasahmadi, Pradeep Kumar Jayaraman, Aditya Sanghi, Joseph G. Lambourne	UVStyle-Net: Unsupervised Few-shot Learning of 3D Style Similarity Measure for B-Reps.	CoRR	2021	DBLP BibTeX RDF
28	Aldo Pacchiano, Jonathan N. Lee, Peter L. Bartlett, Ofir Nachum	Near Optimal Policy Optimization via REPS.	CoRR	2021	DBLP BibTeX RDF
28	Q. Youn Hong, Gershon Elber	Conformal Microstructure Synthesis in Trimmed Trivariate Based V-Reps.	Comput. Aided Des.	2021	DBLP DOI BibTeX RDF
28	Peter Meltzer, Hooman Shayani, Amir Khasahmadi, Pradeep Kumar Jayaraman, Aditya Sanghi, Joseph G. Lambourne	UVStyle-Net: Unsupervised Few-shot Learning of 3D Style Similarity Measure for B-Reps.	ICCV	2021	DBLP DOI BibTeX RDF
28	Luigi Barazzetti	Turning Meshes into B-reps with T-splines.	ICCSA (2)	2021	DBLP DOI BibTeX RDF
28	Aldo Pacchiano, Jonathan N. Lee, Peter L. Bartlett, Ofir Nachum	Near Optimal Policy Optimization via REPS.	NeurIPS	2021	DBLP BibTeX RDF
28	Emiliano Cirillo, Gershon Elber	Handling heterogeneous structures and materials using blending schemes in V-reps.	Comput. Aided Geom. Des.	2020	DBLP DOI BibTeX RDF
28	Yang Song 0016, Elaine Cohen	Volume Completion for Trimmed B-Reps.	IV (2)	2019	DBLP DOI BibTeX RDF
28	Adria Colome, Carme Torras	Dual REPS: A Generalization of Relative Entropy Policy Search Exploiting Bad Experiences.	IEEE Trans. Robotics	2017	DBLP DOI BibTeX RDF
28	Jun-Pyo Hong, Jared Vicory, Jörn Schulz, Martin Styner, J. S. Marron, Stephen M. Pizer	Non-Euclidean classification of medically imaged objects via s-reps.	Medical Image Anal.	2016	DBLP DOI BibTeX RDF
28	Jun Wu 0005, Lou Kramer, Rüdiger Westermann	Shape interior modeling and mass property optimization using ray-reps.	Comput. Graph.	2016	DBLP DOI BibTeX RDF
28	Kareem S. Aggour, Bethany Hoogs	Financing lead triggers: empowering sales reps through knowledge discovery and fusion.	KDD	2013	DBLP DOI BibTeX RDF
28	Christian Daniel, Gerhard Neumann, Jan Peters 0001	Autonomous reinforcement learning with hierarchical REPS.	IJCNN	2013	DBLP DOI BibTeX RDF
28	Jin Qian, Yongjie Zhang 0001	Automatic unstructured all-hexahedral mesh generation from B-Reps for non-manifold CAD assemblies.	Eng. Comput.	2012	DBLP DOI BibTeX RDF
28	Powei Feng, Joe D. Warren	A Dual Method for Constructing Multi-material Solids from Ray-Reps.	ISVC (1)	2012	DBLP DOI BibTeX RDF
28	Matthias Bein, Dieter W. Fellner, André Stork	Genetic B-Spline approximation on combined B-reps.	Vis. Comput.	2011	DBLP DOI BibTeX RDF
28	Duane W. Storti, Chris Finley, Mark A. Ganter	Interval Extensions of Signed Distance Functions: iSDF-reps and Reliable Membership Classification.	J. Comput. Inf. Sci. Eng.	2010	DBLP DOI BibTeX RDF
28	Duane W. Storti, Mark A. Ganter, William R. Ledoux, Randal P. Ching, Yangqiu Patrick Hu, David R. Haynor	Wavelet SDF-Reps: Solid Modeling With Volumetric Scans.	J. Comput. Inf. Sci. Eng.	2009	DBLP DOI BibTeX RDF
28	Daniel Wasserrab	Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer.	Arch. Formal Proofs	2009	DBLP BibTeX RDF
28	Sven Havemann, Dieter W. Fellner	Progressive Combined B-Reps - Multi-Resolution Meshes for Interactive Real-Time Shape Design.	J. WSCG	2008	DBLP BibTeX RDF
28	Stephen M. Pizer, Qiong Han, Sarang C. Joshi, P. Thomas Fletcher, Paul A. Yushkevich, Andrew Thall	Synthesis, Deformation, and Statistics of 3D Objects via M-Reps.	Medial Representations	2008	DBLP DOI BibTeX RDF
28	Stephen M. Pizer, Martin Styner, Timothy B. Terriberry, Robert E. Broadhurst, Sarang C. Joshi, Edward L. Chaney, P. Thomas Fletcher	Statistical Applications with Deformable M-Reps.	Medial Representations	2008	DBLP DOI BibTeX RDF
28	Paul A. Yushkevich, John A. Detre, Kathy Z. Tang, Angela Hoang, Dawn Mechanic-Hamilton, María A. Fernández-Seara, Marc Korczykowski, Hui Zhang 0005, James C. Gee	Hippocampus-Specific fMRI Group Activation Analysis with Continuous M-Reps.	MICCAI (2)	2006	DBLP DOI BibTeX RDF
28	Stephen M. Pizer, P. Thomas Fletcher, Andrew Thall, Martin Styner, Guido Gerig, Sarang C. Joshi	Object models in multiscale intrinsic coordinates via m-reps.	Image Vis. Comput.	2003	DBLP DOI BibTeX RDF
28	Katsuhiro Kitajima, Mitsunori Yamaguchi	A shell-oriented boolean set operations algorithm suited for the b-reps based on boundary edge loops.	Syst. Comput. Jpn.	1992	DBLP DOI BibTeX RDF
24	Shaan Nagy, Jinwoo Kim, Loris D'Antoni, Thomas W. Reps	Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs.	CoRR	2024	DBLP DOI BibTeX RDF
24	Cynthia Yang, Egill A. Fridgeirsson, Jan A. Kors, Jenna Marie Reps, Peter R. Rijnbeek	Impact of random oversampling and random undersampling on the performance of prediction models developed using observational health data.	J. Big Data	2024	DBLP DOI BibTeX RDF
24	Yuanbo Li, Qirun Zhang, Thomas W. Reps	Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
24	Kanghee Park, Loris D'Antoni, Thomas W. Reps	Synthesizing Specifications.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
24	Jinwoo Kim, Loris D'Antoni, Thomas W. Reps	Unrealizability Logic.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
24	Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps	Symbolic Quantum Simulation with Quasimodo.	CoRR	2023	DBLP DOI BibTeX RDF
24	John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps	Optimal Symbolic Bound Synthesis.	CoRR	2023	DBLP DOI BibTeX RDF
24	Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps	Weighted Context-Free-Language Ordered Binary Decision Diagrams.	CoRR	2023	DBLP DOI BibTeX RDF
24	Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps	Modular System Synthesis.	CoRR	2023	DBLP DOI BibTeX RDF
24	Abhinav Jain 0001, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine	Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback.	CoRR	2023	DBLP DOI BibTeX RDF
24	Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden	slash: A Technique for Static Configuration-Logic Identification.	CoRR	2023	DBLP DOI BibTeX RDF
24	Kanghee Park, Loris D'Antoni, Thomas W. Reps	Synthesizing Specifications.	CoRR	2023	DBLP DOI BibTeX RDF
24	Di Wang 0017, Thomas W. Reps	Newtonian Program Analysis of Probabilistic Programs.	CoRR	2023	DBLP DOI BibTeX RDF
24	Stephen P. Fortin, Jenna Reps, Patrick B. Ryan	Correction to: Adaptation and validation of a coding algorithm for the Charlson Comorbidity Index in administrative claims data using the SNOMED CT standardized vocabulary.	BMC Medical Informatics Decis. Mak.	2023	DBLP DOI BibTeX RDF
24	Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps	Symbolic Quantum Simulation with Quasimodo.	CAV (3)	2023	DBLP DOI BibTeX RDF
24	Martijn J. Schuemie, Jenna Reps, Adam Black, Frank J. DeFalco, Lee Evans, Egill A. Fridgeirsson, James P. Gilbert, Chris Knoll, Martin Lavallee, Gowtham A. Rao, Peter R. Rijnbeek, Katy Sadowski, Anthony G. Sena, Joel N. Swerdel, Ross D. Williams, Marc A. Suchard	Health-Analytics Data to Evidence Suite (HADES): Open-Source Software for Observational Research.	MedInfo	2023	DBLP DOI BibTeX RDF
24	Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps	Modular System Synthesis.	FMCAD	2023	DBLP DOI BibTeX RDF
24	Cynthia Yang, Egill A. Fridgeirsson, Jan A. Kors, Jenna Marie Reps, Peter R. Rijnbeek, Jenna Wong, Ross D. Williams	Does Using a Stacking Ensemble Method to Combine Multiple Base Learners Within a Database Improve Model Transportability?	MIE	2023	DBLP DOI BibTeX RDF
24	Ross D. Williams, Sicco den Otter, Jenna Marie Reps, Peter R. Rijnbeek	The DELPHI Library: Improving Model Validation, Transparency and Dissemination Through a Centralised Library of Prediction Models.	MIE	2023	DBLP DOI BibTeX RDF
24	Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy 0001	Synthesizing abstract transformers.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
24	Luis H. John, Jan A. Kors, Jenna Marie Reps, Patrick B. Ryan, Peter R. Rijnbeek	Logistic regression models for patient-level prediction based on massive observational data: Do we need all data?	Int. J. Medical Informatics	2022	DBLP DOI BibTeX RDF
24	Jinwoo Kim, Loris D'Antoni, Thomas W. Reps	Unrealizability Logic.	CoRR	2022	DBLP DOI BibTeX RDF
24	Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps	CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.	CoRR	2022	DBLP DOI BibTeX RDF
24	Stephen P. Fortin, Jenna Reps, Patrick B. Ryan	Adaptation and validation of a coding algorithm for the Charlson Comorbidity Index in administrative claims data using the SNOMED CT standardized vocabulary.	BMC Medical Informatics Decis. Mak.	2022	DBLP DOI BibTeX RDF
24	Jenna Marie Reps, Ross D. Williams, Martijn J. Schuemie, Patrick B. Ryan, Peter R. Rijnbeek	Learning patient-level prediction models across multiple healthcare databases: evaluation of ensembles for increasing model transportability.	BMC Medical Informatics Decis. Mak.	2022	DBLP DOI BibTeX RDF
24	Yuanbo Li, Qirun Zhang, Thomas W. Reps	Fast Graph Simplification for Interleaved-Dyck Reachability.	ACM Trans. Program. Lang. Syst.	2022	DBLP DOI BibTeX RDF
24	Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps	Semantic Robustness of Models of Source Code.	SANER	2022	DBLP DOI BibTeX RDF
24	Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps	Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.	EuroS&P	2022	DBLP DOI BibTeX RDF
24	Aniek F. Markus, Peter R. Rijnbeek, Jenna Marie Reps	Why predicting risk can't identify 'risk factors': empirical assessment of model stability in machine learning across observational health databases.	MLHC	2022	DBLP BibTeX RDF
24	Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps	Semantics-guided synthesis.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
24	Yuanbo Li, Qirun Zhang, Thomas W. Reps	On the complexity of bidirected interleaved Dyck-reachability.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
24	Chungsoo Kim, Seng Chan You, Jenna Marie Reps, Jae Youn Cheong, Rae Woong Park	Machine-learning model to predict the cause of death using a stacking ensemble method for observational data.	J. Am. Medical Informatics Assoc.	2021	DBLP DOI BibTeX RDF
24	Rohan Mukherjee 0001, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine	Neural Program Generation Modulo Static Analysis.	CoRR	2021	DBLP BibTeX RDF
24	Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps	Synthesis with Asymptotic Resource Bounds.	CoRR	2021	DBLP BibTeX RDF
24	Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps	Shipwright: A Human-in-the-Loop System for Dockerfile Repair.	CoRR	2021	DBLP BibTeX RDF
24	Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps	Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems.	CoRR	2021	DBLP BibTeX RDF
24	Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps	Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.	CoRR	2021	DBLP BibTeX RDF
24	Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy 0001	Synthesizing Abstract Transformers.	CoRR	2021	DBLP BibTeX RDF
24	Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps	Sound Probabilistic Inference via Guide Types.	CoRR	2021	DBLP BibTeX RDF
24	Jenna Marie Reps, Patrick B. Ryan, Peter R. Rijnbeek, Martijn J. Schuemie	Design matters in patient-level prediction: evaluation of a cohort vs. case-control design when developing predictive models in observational healthcare datasets.	J. Big Data	2021	DBLP DOI BibTeX RDF
24	Jenna Marie Reps, Peter R. Rijnbeek, Alana Cuthbert, Patrick B. Ryan, Nicole Pratt, Martijn J. Schuemie	An empirical analysis of dealing with patients who are lost to follow-up when developing prognostic models using a cohort design.	BMC Medical Informatics Decis. Mak.	2021	DBLP DOI BibTeX RDF
24	Sara Khalid, Cynthia Yang, Clair Blacketer, Talita Duarte-Salles, Sergio Fernández-Bertolín, Chungsoo Kim, Rae Woong Park, Jimyung Park, Martijn J. Schuemie, Anthony G. Sena, Marc A. Suchard, Seng Chan You, Peter R. Rijnbeek, Jenna Marie Reps	A standardized analytics pipeline for reliable and rapid development and validation of prediction models using observational health data.	Comput. Methods Programs Biomed.	2021	DBLP DOI BibTeX RDF
24	Peizun Liu, Thomas Wahl, Thomas W. Reps	Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.	ACM Trans. Program. Lang. Syst.	2021	DBLP DOI BibTeX RDF
24	Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps	Programmable Program Synthesis.	CAV (1)	2021	DBLP DOI BibTeX RDF
24	Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps	Synthesis with Asymptotic Resource Bounds.	CAV (1)	2021	DBLP DOI BibTeX RDF
24	Zachary Kincaid, Thomas W. Reps, John Cyphert	Algebraic Program Analysis.	CAV (1)	2021	DBLP DOI BibTeX RDF
24	Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps	Sound probabilistic inference via guide types.	PLDI	2021	DBLP DOI BibTeX RDF
24	Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps	Central moment analysis for cost accumulators in probabilistic programs.	PLDI	2021	DBLP DOI BibTeX RDF
24	Rohan Mukherjee 0001, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine	Neural Program Generation Modulo Static Analysis.	NeurIPS	2021	DBLP BibTeX RDF
24	Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps	Shipwright: A Human-in-the-Loop System for Dockerfile Repair.	ICSE (Companion Volume)	2021	DBLP DOI BibTeX RDF
24	Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps	Shipwright: A Human-in-the-Loop System for Dockerfile Repair.	ICSE	2021	DBLP DOI BibTeX RDF
24	Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps	Semantics-Guided Synthesis.	CoRR	2020	DBLP BibTeX RDF
24	Zi Wang, Ben Liblit, Thomas W. Reps	TOFU: Target-Orienter FUzzer.	CoRR	2020	DBLP BibTeX RDF