Search results for "subobject"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Michael R. Fellows, Michael T. Hallett, Chantal Korostensky, Ulrike Stege	Analogs and Duals of the MAST Problem for Sequences and Trees.	ESA	1998	DBLP DOI BibTeX RDF
75	Jonathan G. Rossie Jr., Daniel P. Friedman, Mitchell Wand	Modeling Subobject-based Inheritance.	ECOOP	1996	DBLP DOI BibTeX RDF
63	Benjamin Brombach, Erich Bruns, Oliver Bimber	Subobject detection through spatial relationships on mobile phones.	IUI	2009	DBLP DOI BibTeX RDF	museum guidance application, subobject detection, mobile computing, image classification, spatial relationships
55	Andrea Corradini 0001, Frank Hermann 0001, Pawel Sobocinski 0001	Subobject Transformation Systems.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18B35, 68Q10, 68Q42
34	Delong Chen, Samuel Cahyawijaya, Jianfeng Liu, Baoyuan Wang, Pascale Fung	Subobject-level Image Tokenization.	CoRR	2024	DBLP DOI BibTeX RDF
34	Shengjie Xu, Wei Huang 0027, David Lie	In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection.	ASPLOS	2021	DBLP DOI BibTeX RDF
34	Marko van Dooren, Dave Clarke 0001, Bart Jacobs 0002	Subobject-Oriented Programming.	FMCO	2012	DBLP DOI BibTeX RDF
34	Marko van Dooren, Dave Clarke 0001	Subobject Transactional Memory.	COORDINATION	2012	DBLP DOI BibTeX RDF
34	Frank Hermann 0001	Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2008	DBLP DOI BibTeX RDF
34	Frank Hermann 0001, Hartmut Ehrig	Process Definition using Subobject Transformation Systems.	Bull. EATCS	2008	DBLP BibTeX RDF
28	H. L. Bentley, Eva Lowen-Colebunders	Initial Morphisms versus Embeddings.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	subobject, initial morphism, bicoreflective, dense morphism, epireflective, embedding, closure operator, topological construct, factorization structure
28	F. Borceux	Non-Pointed Strongly Protomodular Theories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	strongly protomodular category, semi-Abelian category, normal subobject, C *-algebra, Boolean algebra, ring, Heyting algebra
28	Eraldo Giuli, Walter Tholen	Openness with Respect to a Closure Operator.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator
28	Romaine Jayewardene, Oswald Wyler	Categories of Relations and Functional Relations.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	subobject, functional relation, induced relation, map, relation
20	Xiao-Shen Li, Xue-Hai Yuan	The Category RSC of I-Rough Sets.	FSKD (1)	2008	DBLP DOI BibTeX RDF
20	Richard N. Ball, Anthony W. Hager	Epi-topology and Epi-convergence for Archimedean Lattice-ordered Groups with Unit.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F20, 18A20, 22A30, 46H15, 54C35, 54A20
20	Juan A. Carretero, Meyer A. Nahon	Solving minimum distance problems with convex or concave bodies using combinatorial global optimization algorithms.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
20	V. M. Mikhelev	Specific Features of the Control Structure in the Programming Language MARKIZ.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
20	M. V. Mielke	Final Lift Actions Associated with Topological Functors.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	topological category, final lift actions
20	Roman Fric	Measures on MV-algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space
20	William A. Barrett, Alan S. Cheney	Object-based image editing.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	animation, image-based rendering, texture synthesis, image warping, image editing
20	Mats Skoglund	Sharing Objects by Read-Only References.	AMAST	2002	DBLP DOI BibTeX RDF
20	Andrzej Jodlowski, Piotr Habela, Jacek Plodzien, Kazimierz Subieta	Objects and Roles in the Stack-Based Approach.	DEXA	2002	DBLP DOI BibTeX RDF
20	Edmund Robinson, Giuseppe Rosolini	An Abstract Look at Realizability.	CSL	2001	DBLP DOI BibTeX RDF
20	Slawomir Lasota 0001	Partial-Congruence Factorization of Bisimilarity Induced by Open Maps.	ICALP	1998	DBLP DOI BibTeX RDF
20	Bharat K. Bhargava, Shalab Goel	A Layered Architecture for Supporting Objects in a Relational System: A Performance Study	DEXA	1995	DBLP DOI BibTeX RDF
20	Michael Barr	HSP Type Theorems in the Category of Posets.	MFPS	1991	DBLP DOI BibTeX RDF
20	Robert E. Kent	The Metric Closure Powerspace Construction.	MFPS	1987	DBLP DOI BibTeX RDF