Search results for "CPO"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Taisuke Izumi, Koichi Wada 0001	On the Probabilistic Omission Adversary.	SSS	2007	DBLP DOI BibTeX RDF
83	Calin Cascaval, Evelyn Duesterwald, Peter F. Sweeney, Robert W. Wisniewski	Multiple Page Size Modeling and Optimization.	IEEE PACT	2005	DBLP DOI BibTeX RDF
81	Ying Jiang, Guo-Qiang Zhang 0001	Weakly distributive domains (II).	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category
74	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	CPO's do not form a CPO, and yet Recursion Works.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
66	Octavian Udrea, Yu Deng 0004, Edward Hung, V. S. Subrahmanian	Probabilistic Ontologies and Relational Databases.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
66	Achim Jung	New Results on Hierarchies of Domains.	MFPS	1987	DBLP DOI BibTeX RDF
50	Alberto Carraro, Antonino Salibra	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.	LICS	2009	DBLP DOI BibTeX RDF
50	Ying Jiang, Guo-Qiang Zhang 0001	Weakly Distributive Domains.	TLCA	2007	DBLP DOI BibTeX RDF
50	Hilary A. Priestley	Ordered Sets and Complete Lattices.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
50	Eugenio Moggi	Functor Categories and Two-Level Languages.	FoSSaCS	1998	DBLP DOI BibTeX RDF
50	Friederike Nickl	Algebraic Specifications for Domain THeory.	STACS	1989	DBLP DOI BibTeX RDF
47	Giulio Manzonetto	A General Class of Models of H*.	MFCS	2009	DBLP DOI BibTeX RDF	?-theories, non-well-pointed categories, cpo-enriched categories, relational semantics, Approximation Theorem, ?-calculus
33	Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis	Actors without Directors: A Kahnian View of Heterogeneous Systems.	HSCC	2009	DBLP DOI BibTeX RDF
33	Juan Frausto Solís, Alberto González-Sanchez 0001, Mónica Larre	A New Method for Optimal Cropping Pattern.	MICAI	2009	DBLP DOI BibTeX RDF	cropping pattern optimization, genetic algorithms, simplex method, regression trees
33	David Riaño 0001, Francis Real, Fabio Campana, Sara Ercolani, Roberta Annicchiarico	An Ontology for the Care of the Elder at Home.	AIME	2009	DBLP DOI BibTeX RDF
33	Johan Glimming	Parametric (Co)Iteration vs. Primitive Direcursion.	CALCO	2007	DBLP DOI BibTeX RDF
33	Guo-Qiang Zhang 0001	DI-Domains as Information Systems (Extended Abstract).	ICALP	1989	DBLP DOI BibTeX RDF
33	Radha Jagadeesan	L-domains and Lossless Powerdomains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
33	Tohru Naoi, Yasuyoshi Inagaki	Algebraic Semantics and Complexity of Term Rewriting Systems.	RTA	1989	DBLP DOI BibTeX RDF
33	Gérard Comyn, Max Dauchet	Approximations of Infinitary Objects.	ICALP	1982	DBLP DOI BibTeX RDF
32	Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager	A testing scenario for probabilistic processes.	J. ACM	2007	DBLP DOI BibTeX RDF	CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory
29	Jungwook Shin, Jaeill Kim, Kyungeun Lee, Hyunghun Cho, Wonjong Rhee	DR.CPO: Diversified and Realistic 3D Augmentation via Iterative Construction, Random Placement, and HPR Occlusion.	CoRR	2023	DBLP DOI BibTeX RDF
29	Juz Nur Fatiha Deena Mohd Fuad, Zaidah Ibrahim, Noor Latiffah Adam, Norizan Mat Diah	A Comparative Study of Univariate and Multivariate Time Series Forecasting for CPO Prices Using Machine Learning Techniques.	IVIC	2023	DBLP DOI BibTeX RDF
29	Daisuke Inoue, Konosuke Aoyama, Naoki Fujiwara, Daisei Shoji, Harold Kamisugi	A high-power, power-efficient 1.3-μm SOA-integrated DFB laser for CPO applications.	OFC	2023	DBLP DOI BibTeX RDF
29	Taketsugu Sawamura, Kyoko Nagai, Kazuhiko Kashima, Kohei Umeta, Daiki Takeda, Tsunetoshi Saito, Hideyuki Nasu	8-Channel CWDM TOSA for CPO External Laser Sources Employing a Blind Mate Optical Connector.	OFC	2023	DBLP DOI BibTeX RDF
29	Junho Kim, Hojun Jang, Changwoon Choi, Young Min Kim 0001	CPO: Change Robust Panorama to Point Cloud Localization.	CoRR	2022	DBLP DOI BibTeX RDF
29	Junho Kim, Hojun Jang, Changwoon Choi, Young Min Kim 0001	CPO: Change Robust Panorama to Point Cloud Localization.	ECCV (9)	2022	DBLP DOI BibTeX RDF
29	Erman Timurdogan, Zhan Su 0001, Ren-Jye Shiue, Matthew J. Byrd, Christopher V. Poulton, Kenneth Jabon, Christopher DeRose, Benjamin R. Moss, Ehsan S. Hosseini, Ivan Duzevik, Michael Whitson, Ronald P. Millman, Dogan A. Atlas, Michael R. Watts	400G Silicon Photonics Integrated Circuit Transceiver Chipsets for CPO, OBO, and Pluggable Modules.	OFC	2020	DBLP BibTeX RDF
29	Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon	Solving the Group Cumulative Scheduling Problem with CPO and ACO.	CP	2020	DBLP DOI BibTeX RDF
29	Ko-Wei Huang, Ze-Xue Wu	CPO: A Crow Particle Optimization Algorithm.	Int. J. Comput. Intell. Syst.	2019	DBLP DOI BibTeX RDF
29	Chen Peng, Zhiqiang He 0001, Baoyu Tian	Code aided CPO estimation based on particle filtering.	WCSP	2011	DBLP DOI BibTeX RDF
29	Xiaojun Liu 0001, Edward A. Lee	CPO semantics of timed interactive actor networks.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
29	Joaquim Gabarró, Alan Stewart, Maurice Clint	Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.	F-WAN@ICALP	2002	DBLP DOI BibTeX RDF
29	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Bundle event structures: A revised cpo approach.	Inf. Process. Lett.	2002	DBLP DOI BibTeX RDF
29	Gabriel Ciobanu	The Reflexive Domain of CPO's Ideals.	Acta Cybern.	1996	DBLP BibTeX RDF
29	Luca Aceto, Anna Ingólfsdóttir	CPO Models for Compact GSOS Languages.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
29	Andrea Corradini 0001, Fabio Gadducci	CPO Models for Infinite Term Rewriting.	AMAST	1995	DBLP DOI BibTeX RDF
29	Luca Aceto, Anna Ingólfsdóttir	CPO Models for a Class of GSOS Languages.	TAPSOFT	1995	DBLP DOI BibTeX RDF
29	Christel Baier, Mila E. Majster-Cederbaum	Denotational Semantics in the CPO and Metric Approach.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
29	Mila E. Majster-Cederbaum, Frank Zetzsche	The Comparison of a CPO-based Semantics with a CMS-based semantics for CSP.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
29	Erik Poll, C. Hemerik, Huub M. M. ten Eikelder	CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping.	RAIRO Theor. Informatics Appl.	1993	DBLP DOI BibTeX RDF
29	K. Theobald	A Theory of Representable Cpo's.	CAAP	1984	DBLP BibTeX RDF
29	Klaus Weihrauch, Gisela Schäfer	Admissible Representations of Effective CPO's.	Theor. Comput. Sci.	1983	DBLP DOI BibTeX RDF
29	Dieter Spreen	On r.e. inseparability of CPO index sets.	Logic and Machines	1983	DBLP DOI BibTeX RDF
29	Klaus Weihrauch, Ulrich Schreiber	Embedding Metric Spaces Into CPO's.	Theor. Comput. Sci.	1981	DBLP DOI BibTeX RDF
29	Klaus Weihrauch, Gisela Schäfer	Admissible Representations of Effective CPO's.	MFCS	1981	DBLP DOI BibTeX RDF
29	Klaus Weihrauch	Recursion and Complexity Theory on CPO-S.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
29	Nasser Saheb-Djahromi	CPO'S of Measures for Nondeterminism.	Theor. Comput. Sci.	1980	DBLP DOI BibTeX RDF
29	Edward Sciore, A. Tang	Admissible Coherent CPO's.	ICALP	1978	DBLP DOI BibTeX RDF
17	Oana Agrigoroaiei, Gabriel Ciobanu	Non-interleaving Semantics with Causality for Nondeterministic Dataflow.	ICTAC	2008	DBLP DOI BibTeX RDF
17	Jean Goubault-Larrecq	Prevision Domains and Convex Powercones.	FoSSaCS	2008	DBLP DOI BibTeX RDF
17	Stefan Eicker, Jessica Kochbeck, Peter M. Schuler	Employee Competencies for Business Process Management.	BIS	2008	DBLP DOI BibTeX RDF	Inter-Organizational Processes, Measurement, Human Factors, Business Process Management
17	Guang-Ping Qin, Jin-Zhao Wu	Action Refinement for Real-Time Concurrent Processes with Urgency.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	timed event, real-time process algebra, structure, action refinement, urgency
17	Paula Severi, Fer-Jan de Vries	Continuity and Discontinuity in Lambda Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
17	John Power	Discrete Lawvere Theories.	CALCO	2005	DBLP DOI BibTeX RDF
17	Thomas Meyer 0001, Burkhart Wolff	Tactic-Based Optimized Compilation of Functional Programs.	TYPES	2004	DBLP DOI BibTeX RDF
17	Mila E. Majster-Cederbaum, Jinzhao Wu	Adding Action Refinement to Stochastic True Concurrency Models.	ICFEM	2003	DBLP DOI BibTeX RDF
17	Jan A. Bergstra, Inge Bethke	Polarized Process Algebra and Program Equivalence.	ICALP	2003	DBLP DOI BibTeX RDF
17	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for Probabilistic Processes with True Concurrency Models.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
17	Pietro Di Gianantonio, Gianluca Franco, Furio Honsell	Game Semantics for Untyped lambda beta eta-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
17	Christel Baier, Joost-Pieter Katoen, Diego Latella	Metric Semantics for True Concurrent Real Time.	ICALP	1998	DBLP DOI BibTeX RDF
17	Christel Baier, Mila E. Majster-Cederbaum	Metric Semantics from Partial Order Semantics.	Acta Informatica	1997	DBLP DOI BibTeX RDF
17	Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin	Countable Non-Determinism and Uncountable Limits.	CONCUR	1994	DBLP DOI BibTeX RDF
17	Guo-Qiang Zhang 0001	Universal Quasi-Prime Algebraic Domains.	MFPS	1993	DBLP DOI BibTeX RDF	universal structures, lattices, Domain theory, universal algebra, semantics of programming languages
17	Jan J. M. M. Rutten	A Strucutral Co-Induction Theorem.	MFPS	1993	DBLP DOI BibTeX RDF
17	Scott F. Smith 0001	From Operational to Denotational Semantics.	MFPS	1991	DBLP DOI BibTeX RDF
17	Ryszard Janicki, Maciej Koutny	Invariant Semantics of Nets with Inhibitor Arcs.	CONCUR	1991	DBLP DOI BibTeX RDF
17	Albert R. Meyer, Kurt Sieber	Towards Fully Abstract Semantics for Local Variables.	POPL	1988	DBLP DOI BibTeX RDF	ALGOL
17	Michael B. Smyth	Quasi Uniformities: Reconciling Domains with Metric Spaces.	MFPS	1987	DBLP DOI BibTeX RDF
17	Michael G. Main	Free Constructions of Powerdomains.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
17	Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot	The Semantics of Local Storage, or What Makes the Free-List Free?	POPL	1984	DBLP DOI BibTeX RDF
17	Dana S. Scott	Domains for Denotational Semantics.	ICALP	1982	DBLP DOI BibTeX RDF
17	Krzysztof R. Apt, Gordon D. Plotkin	A Cook's Tour of Countable Nondeterminism.	ICALP	1981	DBLP DOI BibTeX RDF
17	Bernhard Josko	An Effective Retract Calculus.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
17	Ralph-Johan Back	Semantics of Unbounded Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF
17	Gérard Berry	Stable Models of Typed lambda-Calculi.	ICALP	1978	DBLP DOI BibTeX RDF