Search results for "submodel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
169	Gábor Kusper	Solving the resolution-free SAT problem by submodel propagation in linear time.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	resolution-free SAT, submodel propagation, Unicorn-SAT, SAT
83	Guenter Klas	Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
82	Mingju Zhang, Lei Zhang 0001, Yanfeng Sun, Lin Feng, Wei-Ying Ma	Auto cropping for digital photographs.	ICME	2005	DBLP DOI BibTeX RDF	auto cropping, digital still photographs, composition submodel, conservative submodel, penalty submodel, particle swarm optimization, multimedia application, PSO, energy function
77	Da-Chiang Chang, De-Ron Liang	Performance evaluation of Clos networks under bursty traffic.	ISPAN	1996	DBLP DOI BibTeX RDF	buffer length, performance evaluation, performance evaluation, performance, multiprocessor interconnection networks, bursty traffic, Clos networks, output buffers, submodel, cell loss probability
66	Shang-Ming Zhou, John Q. Gan	Extracting Takagi-Sugeno Fuzzy Rules with Interpretable Submodels via Regularization of Linguistic Modifiers.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
59	Hans A. J. A. van Kuijk, Rob J. M. Bastiaans, Jeroen A. van Oijen, L. Philip H. de Goey	Grate Furnace Combustion: A Submodel for the Solid Fuel Layer.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Grate furnace, reverse combustion, biomass
51	Igor Garmaev, Torben Miny, Tobias Kleinert	Automatic Generation of Submodel-Specific Classes with Predefined Meta-information Based on Submodel Templates.	ETFA	2023	DBLP DOI BibTeX RDF
50	Wesley W. Chu, Chi-Man Sit, Kin K. Leung	Task Response Time For Real-Time Distributed Systems With Resource Contentions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	task response times, extended queuing network model, module response times, weighted control-flow graph model, task response time, invocation rates, module assignments, real-time systems, computational complexity, computational complexity, graph theory, resource allocation, distributed processing, queueing theory, analytic model, simulation results, interprocessor communications, scheduling policies, resource contentions, decomposition technique, real-time distributed systems, submodels, distributed processing systems
42	Joachim Biskup, Piero A. Bonatti	Controlled query evaluation with open queries for a decidable relational submodel.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70
42	Joachim Biskup, Piero A. Bonatti	Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel.	FoIKS	2006	DBLP DOI BibTeX RDF	Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
33	Laurent Bako, René Vidal	Algebraic Identification of MIMO SARX Models.	HSCC	2008	DBLP DOI BibTeX RDF
33	K. Tachibana, T. Furuhashi	A hierarchical fuzzy modeling method using genetic algorithm for identification of concise submodels.	KES (2)	1998	DBLP DOI BibTeX RDF
33	Katerina Goseva-Popstojanova, Aksenti Grnarov	Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems.	EUROMICRO	1997	DBLP DOI BibTeX RDF
33	Hiroyuki Sato, Mitsuo Ishii, Keiji Sato, Morio Ikesaka, Hiroaki Ishihata, Masanori Kakimoto, Katsuhiko Hirota, Kouichi Inoue	Fast image generation of construcitve solid geometry using a cellular array processor.	SIGGRAPH	1985	DBLP DOI BibTeX RDF	scan-line algorithms, computer graphics, computer aided design, solid modeling, constructive solid geometry, z-buffer, hidden surface removal
27	Xiuping Wu, C. Murray Woodside	Performance modeling from software components.	WOSP	2004	DBLP DOI BibTeX RDF	CBML, layered queue model, software component, performance prediction, generative programming, software performance, submodel, LQN
26	Sajani Vithana, Sennur Ulukus	Private Read Update Write (PRUW) in Federated Submodel Learning (FSL): Communication Efficient Schemes With and Without Sparsification.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
26	Zhusheng Wang, Sennur Ulukus	Private Federated Submodel Learning via Private Set Union.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
26	Nicolas Fröhlich, Arne Meier	Submodel Enumeration for CTL Is Hard.	AAAI	2024	DBLP DOI BibTeX RDF
26	Panyu Liu, Tongqing Zhou, Zhiping Cai, Fang Liu 0002, Yeting Guo	Leveraging heuristic client selection for enhanced secure federated submodel learning.	Inf. Process. Manag.	2023	DBLP DOI BibTeX RDF
26	Zhusheng Wang, Sennur Ulukus	Fully Robust Federated Submodel Learning in a Distributed Storage System.	CoRR	2023	DBLP DOI BibTeX RDF
26	Sajani Vithana, Sennur Ulukus	Information-Theoretically Private Federated Submodel Learning with Storage Constrained Databases.	CoRR	2023	DBLP DOI BibTeX RDF
26	Zhusheng Wang, Sennur Ulukus	Private Federated Submodel Learning via Private Set Union.	CoRR	2023	DBLP DOI BibTeX RDF
26	Nicolas Fröhlich, Arne Meier	Submodel Enumeration for CTL Is Hard.	CoRR	2023	DBLP DOI BibTeX RDF
26	Wenzhi Fang, Dong-Jun Han, Christopher G. Brinton	Submodel Partitioning in Hierarchical Federated Learning: Algorithm Design and Convergence Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
26	Minchul Kim, Jungwoo Lee 0001	Information-theoretic privacy in federated submodel learning.	ICT Express	2023	DBLP DOI BibTeX RDF
26	Zhusheng Wang, Sennur Ulukus	Private Set Union Based Approach to Enable Private Federated Submodel Learning.	ISIT	2023	DBLP DOI BibTeX RDF
26	Zeyneddin Oz, Ceylan Soygul Oz, Abdollah Malekjafarian, Nima Afraz, Fatemeh Golpayegani	subMFL: Compatible subModel Generation for Federated Learning in Device Heterogeneous Environment.	Euro-Par Workshops	2023	DBLP DOI BibTeX RDF
26	Xiaozhi Du, Yurong Duan	Submodel Comparison Method Based on IFC File Content.	J. Comput. Civ. Eng.	2022	DBLP DOI BibTeX RDF
26	Zhuqing Jia, Syed Ali Jafar	X-Secure T-Private Federated Submodel Learning With Elastic Dropout Resilience.	IEEE Trans. Inf. Theory	2022	DBLP DOI BibTeX RDF
26	Sajani Vithana, Sennur Ulukus	Private Read Update Write (PRUW) in Federated Submodel Learning (FSL): Communication Efficient Schemes With and Without Sparsification.	CoRR	2022	DBLP DOI BibTeX RDF
26	Sajani Vithana, Sennur Ulukus	Rate Distortion Tradeoff in Private Read Update Write in Federated Submodel Learning.	CoRR	2022	DBLP DOI BibTeX RDF
26	Sajani Vithana, Sennur Ulukus	Private Federated Submodel Learning with Sparsification.	CoRR	2022	DBLP DOI BibTeX RDF
26	Alessio Mansutti	An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
26	Sajani Vithana, Sennur Ulukus	Efficient Private Federated Submodel Learning.	ICC	2022	DBLP DOI BibTeX RDF
26	Sajani Vithana, Sennur Ulukus	Private Federated Submodel Learning with Sparsification.	ITW	2022	DBLP DOI BibTeX RDF
26	Sajani Vithana, Sennur Ulukus	Rate Distortion Tradeoff in Private Read Update Write in Federated Submodel Learning.	IEEECONF	2022	DBLP DOI BibTeX RDF
26	Nicolas Fröhlich, Arne Meier	Submodel Enumeration of Kripke Structures in Modal Logic.	AiML	2022	DBLP BibTeX RDF
26	Yucheng Ding, Chaoyue Niu, Fan Wu 0006, Shaojie Tang 0001, Chengfei Lyu, Yanghe Feng, Guihai Chen	Federated Submodel Optimization for Hot and Cold Data Features.	NeurIPS	2022	DBLP BibTeX RDF
26	Yucheng Ding, Chaoyue Niu, Fan Wu 0006, Shaojie Tang 0001, Chengfei Lv, Yanghe Feng, Guihai Chen	Federated Submodel Averaging.	CoRR	2021	DBLP BibTeX RDF
26	Jamie Cui, Cen Chen, Tiandi Ye, Li Wang 0057	Practical and Light-weight Secure Aggregation for Federated Submodel Learning.	CoRR	2021	DBLP BibTeX RDF
26	Hamza Boukraichi, Nissrine Akkari, Fabien Casenave, David Ryckelynck	Uncertainty quantification in a mechanical submodel driven by a Wasserstein-GAN.	CoRR	2021	DBLP BibTeX RDF
26	Zhuqing Jia, Syed Ali Jafar	X-Secure T-Private Federated Submodel Learning.	ICC	2021	DBLP DOI BibTeX RDF
26	Junkyu Lee 0001, Radu Marinescu 0002, Rina Dechter	Submodel Decomposition Bounds for Influence Diagrams.	AAAI	2021	DBLP DOI BibTeX RDF
26	Minchul Kim, Jungwoo Lee 0001	Information-Theoretic Privacy in Federated Submodel learning.	CoRR	2020	DBLP BibTeX RDF
26	Zhuqing Jia, Syed Ali Jafar	X-Secure T-Private Federated Submodel Learning.	CoRR	2020	DBLP BibTeX RDF
26	Wai Tong Chung, Aashwin Ananda Mishra, Nikolaos Perakis, Matthias Ihme	Data-assisted combustion simulations with dynamic submodel assignment using random forests.	CoRR	2020	DBLP BibTeX RDF
26	Alessio Mansutti	An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning.	FoSSaCS	2020	DBLP DOI BibTeX RDF
26	Chaoyue Niu, Fan Wu 0006, Shaojie Tang 0001, Lifeng Hua, Rongfei Jia, Chengfei Lv, Zhihua Wu, Guihai Chen	Billion-scale federated learning on mobile clients: a submodel design with tunable privacy.	MobiCom	2020	DBLP DOI BibTeX RDF
26	Junkyu Lee 0001	Submodel Decomposition for Solving Limited Memory Influence Diagrams (Student Abstract).	AAAI	2020	DBLP DOI BibTeX RDF
26	Chaoyue Niu, Fan Wu 0006, Shaojie Tang 0001, Lifeng Hua, Rongfei Jia, Chengfei Lv, Zhihua Wu, Guihai Chen	Secure Federated Submodel Learning.	CoRR	2019	DBLP BibTeX RDF
26	Jianxia Feng, Donglei Lu	Stochastic gradient-based particle filtering method for ARX models with nonlinear communication output submodel.	Int. J. Model. Identif. Control.	2019	DBLP DOI BibTeX RDF
26	Hacene Bouhoun Ali, Pierre-Emmanuel Bournet, Patrice Cannavo, Etienne Chantoiseau	Development of a CFD crop submodel for simulating microclimate and transpiration of ornamental plants grown in a greenhouse under water restriction.	Comput. Electron. Agric.	2018	DBLP DOI BibTeX RDF
26	Tetsuya Suga, Junichi Iijima	Formal Specification of DEMO Process Model and Its Submodel - Towards Algebra of DEMO Models.	EEWC	2017	DBLP DOI BibTeX RDF
26	Adrian Chmielewski, Robert Guminski, Jedrzej Maczak	Dynamic model of a free-piston Stirling engine with four degrees of freedom combined with the thermodynamic submodel.	MMAR	2016	DBLP DOI BibTeX RDF
26	Rudolf Beran	Hypercube estimators: Penalized least squares, submodel selection, and numerical stability.	Comput. Stat. Data Anal.	2014	DBLP DOI BibTeX RDF
26	James R. Cordy	Submodel pattern extraction for simulink models.	SPLC	2013	DBLP DOI BibTeX RDF
26	Hiroshi Suzuki, Masaki Yamakita	Input design for hybrid system identification for accurate estimation of submodel regions.	ACC	2011	DBLP DOI BibTeX RDF
26	Vera Koponen	Independence and the finite submodel property.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
26	Marko Djordjevic	The finite submodel property and omega-categorical expansions of pregeometries.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
26	Ali S. Zayed, Amir Hussain 0001, Michael J. Grimble	A nonlinear PID-Based Multiple controller Incorporating a Multilayered Neural Network Learning submodel.	Control. Intell. Syst.	2006	DBLP DOI BibTeX RDF
26	Daniel Hardt	Natural Language Inference as Triggered Submodel Search.	FLAIRS	2005	DBLP BibTeX RDF
26	Javier Salmerón, Ángel Marín	A Convex submodel with Application to System Design.	Asia Pac. J. Oper. Res.	2004	DBLP DOI BibTeX RDF
26	Lawrence J. Hagen	Evaluation of the Wind Erosion Prediction System (WEPS) erosion submodel on cropland fields.	Environ. Model. Softw.	2004	DBLP DOI BibTeX RDF
26	Mario Stanke, Stephan Waack	Gene prediction with a hidden Markov model and a new intron submodel.	ECCB	2003	DBLP BibTeX RDF
26	Pawel Pazdyka	The Preservation of submodel Relation by Taking Primitive Models.	Math. Log. Q.	1992	DBLP DOI BibTeX RDF
26	Martin Janzura	Test for submodel in Gibbs-Markov binary random sequence.	Kybernetika	1989	DBLP BibTeX RDF
17	Michal Haindl, Vojtech Havlícek	Texture Editing Using Frequency Swap Strategy.	CAIP	2009	DBLP DOI BibTeX RDF
17	Xiaoxia Wang, Peter Tiño, Mark A. Fardal	Multiple Manifolds Learning Framework Based on Hierarchical Mixture Density Model.	ECML/PKDD (2)	2008	DBLP DOI BibTeX RDF
17	Ping Yuan, Feng Ding 0001, Peter Xiaoping Liu	HLS parameter estimation for multi-input multi-output systems.	ICRA	2008	DBLP DOI BibTeX RDF
17	Fabien Lauer, Gérard Bloch	Switched and PieceWise Nonlinear Hybrid System Identification.	HSCC	2008	DBLP DOI BibTeX RDF
17	Jan Hegewald, Manfred Krafczyk, Jonas Tölke, Alfons G. Hoekstra, Bastien Chopard	An Agent-Based Coupling Platform for Complex Automata.	ICCS (2)	2008	DBLP DOI BibTeX RDF	generic coupling, mutual interactions, heterogeneous, JADE, multi-scale
17	Yijia Zheng, Guangyu Zhu, Shuqiang Jiang, Qingming Huang, Wen Gao 0001	Highlight Ranking for Racquet Sports Video in User Attention Subspaces Based on Relevance Feedback.	ICME	2007	DBLP DOI BibTeX RDF
17	Yongzhong Wang, Yan Liang 0001, Chunhui Zhao 0002, Quan Pan 0001	Adaptive Multi-Cue Kernel Tracking.	ICME	2007	DBLP DOI BibTeX RDF
17	Ethan K. Jackson, Janos Sztipanovits	Constructive Techniques for Meta- and Model-Level Reasoning.	MoDELS	2007	DBLP DOI BibTeX RDF
17	Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu	The saturation algorithm for symbolic state-space exploration.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Globally asynchronous locally synchronous systems, Symbolic state-space generation, Decision diagrams, Kronecker algebra, Fixed-point iterations
17	Yanchong Zheng, Yushun Fan, Wei Tan 0001	Interactive-Event-Based Workflow Simulation in Service Oriented.	GCC	2006	DBLP DOI BibTeX RDF
17	Rupert Paget	Strong Markov Random Field Model.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	contingency table analysis, texture, Markov processes, nonparametric statistics, model development
17	Giancarlo Ferrari-Trecate, Michael Schinkel	Conditions of Optimal Classification for Piecewise Affine Regression.	HSCC	2003	DBLP DOI BibTeX RDF
17	Qiying Hu, Jianyong Liu, Wuyi Yue	Continuous Time Markov Decision Processes with Expected Discounted Total Rewards.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
17	Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu	Saturation Unbound.	TACAS	2003	DBLP DOI BibTeX RDF
17	Catalina M. Lladó, Johannes Lüthi, Peter G. Harrison	Studying Sensitivities of an EJB Performance Model.	MASCOTS	2002	DBLP DOI BibTeX RDF
17	Michal Haindl, Vojtech Havlícek	A Multiscale Colour Texture Model.	ICPR (1)	2002	DBLP DOI BibTeX RDF
17	John Whaley, Michael C. Martin, Monica S. Lam	Automatic extraction of object-oriented component interfaces.	ISSTA	2002	DBLP DOI BibTeX RDF
17	Antonio Adán, Santiago Salamanca, Carlos Cerrada, Pilar Merchán	Reconstruction of Spherical Representation Models From Multiple Partial Models.	3DPVT	2002	DBLP DOI BibTeX RDF
17	Albert Visser	Submodels of Kripke models.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): Primary: 03B20, 03C40, 03F50, Secondary: 03C90
17	Magdalena Gajewsky, Francesco Parisi-Presicce	On the Compatibility of Model and Model-Class Transformations.	WADT	2001	DBLP DOI BibTeX RDF
17	David Daly, William H. Sanders	A Connection Formalism for the Solution of Large and Stiff Models.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
17	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn	Efficient Guiding Towards Cost-Optimality in UPPAAL.	TACAS	2001	DBLP DOI BibTeX RDF
17	Serge Haddad, Denis Poitrenaud	Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.	TIME	2001	DBLP DOI BibTeX RDF
17	Michal Haindl, Vojtech Havlícek	A Multiresolution Causal Colour Texture Model.	SSPR/SPR	2000	DBLP DOI BibTeX RDF
17	Helge Hagenauer	On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems.	Ada-Europe	1999	DBLP DOI BibTeX RDF
17	Enrique Casanovas	A test for expandability.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): Primary 03C45, 03G50
17	Kanta Tachibana, Takeshi Furuhashi	Generality and Conciseness of Submodels in Hierarchical Fuzzy Modeling.	SEAL	1998	DBLP DOI BibTeX RDF
17	Daniela Rosca, Mark Feblowitz, Chris Wild	Decision Making Methodology in Support of the Business Rules Lifecycle.	RE	1997	DBLP DOI BibTeX RDF
17	Yuxi Fu	A Proof Theoretical Approach to Communication.	ICALP	1997	DBLP DOI BibTeX RDF
17	Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström	OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse.	ICSE	1996	DBLP BibTeX RDF	OPSIS, graph based process modelling languages, interface elements, link relations, merge operation, process reuse, reusable fragments, sub model, type view, view mechanism, user interfaces, complexity, Petri net, Petri nets, software processes, software reusability, simulation languages, composition operators, process evolution, global model
17	Arend Rensink	A Complete Theory of Deterministic Event Structures.	CONCUR	1995	DBLP DOI BibTeX RDF
17	John C. S. Lui, Richard R. Muntz	Computing Bounds on Steady State Availability of Repairable Computer Systems.	J. ACM	1994	DBLP DOI BibTeX RDF
17	Janice H. Cook, Leo H. Groner	Analytic Response Time Model for Distributed Systems.	APL	1990	DBLP DOI BibTeX RDF	APL
17	Spyros G. Tzafestas, George S. Stavrakakis, Anastasios Zagorianos	Robot model reference adaptive control through lower/upper part dynamic decoupling.	J. Intell. Robotic Syst.	1988	DBLP DOI BibTeX RDF	dynamic decomposition, lower-part (arm) model, upper-part (wrist) model, Euler-Lagrange model, Newton-Euler model, model reference adaptive control, robot task, Robotic manipulator