Search results for "sub-typing"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Steve Reeves, David Streader	Comparison of Data and Process Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF	process refinement, sub-typing, Z, labelled transition systems, data refinement
28	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	Synchronization of periodic clocks.	EMSOFT	2005	DBLP DOI BibTeX RDF	high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
21	Grant Rosario, David Noever, Matthew Ciolino	Soft-labeling Strategies for Rapid Sub-Typing.	CoRR	2022	DBLP DOI BibTeX RDF
21	Matteo Stefano Savino, Lara Cavinato, Guido Costa, Francesco Fiz, Guido Torzilli, Luca Viganò 0004, Francesca Ieva	Distant supervision for imaging-based cancer sub-typing in Intrahepatic Cholangiocarcinoma.	EMBC	2022	DBLP DOI BibTeX RDF
21	Diana Diaz, Aliccia Bollig-Fischer, Alexander Kotov 0001	Tensor Decomposition for Sub-typing of Complex Diseases based on Clinical and Genomic Data.	BIBM	2019	DBLP DOI BibTeX RDF
21	Anoop M. Mayampurath, Jonathan Matthews, Samuel L. Volchenboum, Lazaro N. Sanchez-Pinto	A Data-driven Framework for Sub-Typing Stem Cell Transplant Recipients at Risk for Infection.	AMIA	2017	DBLP BibTeX RDF
21	Klaas Thoelen, Davy Preuveneers, Sam Michiels, Wouter Joosen, Danny Hughes 0001	Types in Their Prime: Sub-typing of Data in Resource Constrained Environments.	MobiQuitous	2013	DBLP DOI BibTeX RDF
21	Aridaman Pandit, Somdatta Sinha	Using genomic signatures for HIV-1 sub-typing.	BMC Bioinform.	2010	DBLP DOI BibTeX RDF
18	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
11	Richard Dapoigny, Patrick Barlatier	Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.	ER	2009	DBLP DOI BibTeX RDF
11	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.	POPL	2006	DBLP DOI BibTeX RDF	subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction
11	Frank S. de Boer, Cees Pierik	How to Cook a Complete Hoare Logic for Your Pet OO Language.	FMCO	2003	DBLP DOI BibTeX RDF
11	Noemi de La Rocque Rodriguez, Roberto Ierusalimschy	Dynamic Reconfiguration of CORBA-Based Applications.	SOFSEM	1999	DBLP DOI BibTeX RDF