Search results for "combinability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Shengyuan Wang, Yuan Dong	Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.	TASE	2007	DBLP DOI BibTeX RDF
56	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Automatic Combinability of Rewriting-Based Satisfiability Procedures.	LPAR	2006	DBLP DOI BibTeX RDF
56	Jianguo Tao, Zongquan Deng, Zhenfa Bi, Rongqiang Liu, Jicheng Liu	Characteristic Analysis of A Two-Wheeled Robotic Rover with Anti-Overturn Ability and Combinability.	IROS	2006	DBLP DOI BibTeX RDF
36	Phuong Hoai Ha, Philippas Tsigas, Otto J. Anshus	Preliminary results on nb-feb, a synchronization primitive for parallel programming.	PPoPP	2009	DBLP DOI BibTeX RDF	full/empty bit, non-blocking synchronization, universal primitives, combinability, many-core architectures
33	Zhangyang Gao, Xingran Chen, Cheng Tan 0012, Stan Z. Li	MotifRetro: Exploring the Combinability-Consistency Trade-offs in retrosynthesis via Dynamic Motif Editing.	CoRR	2023	DBLP DOI BibTeX RDF
33	Adrián Csiszárik, Melinda F. Kiss, Péter Korösi-Szabó, Márton Muntag, Gergely Papp, Dániel Varga	Mode Combinability: Exploring Convex Combinations of Permutation Aligned Models.	CoRR	2023	DBLP DOI BibTeX RDF
33	Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko	A rule-based system for automatic decidability and combinability.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
33	Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Automatic decidability and combinability.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
33	Christophe Ringeissen, Valerio Senni	Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
33	Christophe Ringeissen, Valerio Senni	Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.	FroCoS	2011	DBLP DOI BibTeX RDF
33	Christopher Lynch, Duc-Khanh Tran	Automatic Decidability and Combinability Revisited.	CADE	2007	DBLP DOI BibTeX RDF
33	Victor V. Levickij	Lexikalische Kombinierbarkeit (Lexical combinability).	Quantitative Linguistik / Quantitative Linguistics	2005	DBLP BibTeX RDF
23	Christoph Loeser, Ralf Trunko, Thilo Steckel, Kevin Podratz, Emanuel Georgiew, Frieder Swoboda	IT-supported integration of semi-autonomous mobile machines and processes into business and service models.	iiWAS	2008	DBLP DOI BibTeX RDF	service configuration, context-awareness, business process modeling, process automation
23	Moritz Stefaner, Elisa Dalla Vecchia, Massimiliano Condotta, Martin Wolpers, Marcus Specht, Stefan Apelt, Erik Duval	MACE - Enriching Architectural Learning Objects for Experience Multiplication.	EC-TEL	2007	DBLP DOI BibTeX RDF	experience multiplication, Metadata, learning objects, architectural design, technology enhanced learning, content enrichment
23	Xiufen Fu, Junfeng Hu, Shaohua Teng, Boxing Chen, Changyao Chen	Research on CSCW-Based Workflow Management System Application.	CSCWD	2007	DBLP DOI BibTeX RDF
23	Xiufen Fu, Junfeng Hu, Shaohua Teng, Boxing Chen, Yansheng Lu	Research and Implementation on CSCW-Based Workflow Management System.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Knowledge Library, Cooperative Work Method, CSCW, Workflow management, XPDL
23	Angela C. Sodan, Vicenç Torra	Fuzzy configuration of matching runtime implementation strategies.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Multistage fuzzy inference, Runtime implementation strategies, Parallelization, Configuration
23	Franz Baader, Klaus U. Schulz	Combination of Constraint Solving Techniques: An Algebraic POint of View.	RTA	1995	DBLP DOI BibTeX RDF