Search results for "submodels"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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
2	Albert Visser	Submodels of Kripke models.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): Primary: 03B20, 03C40, 03F50, Secondary: 03C90
2	Chuang Lin, Bo Li, Jianping Wu	Modeling ATM traffic using stochastic Petri net.	ICCCN	1997	DBLP DOI BibTeX RDF	stochastic high level Petri net, stochastic events, ATM traffic control modeling, concurrent events, nondeterministic events, state space explosion problem, bursty traffic source, traffic rate control, token condensing, performance analysis, asynchronous transfer mode, ATM networks, multimedia traffic, asynchronous events, submodels, reduction method
2	Martin Bichler, Stefan Nusser	Modular design of complex Web-applications with W3DT. (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	W3DT, complex Web applications, World Wide Web Design Technique, Web-based hypermedia applications, computer based design environment, working prototype, distributed Web sites, locally distributed systems, unified organization-wide model, single-server based Web-sites, large organization-wide systems, hypermedia, collaborative design, modeling technique, modular design, graphical notation, submodels
2	Karl J. Lieberherr, Cun Xiao	Object-Oriented Software Evolution.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	object-oriented software evolution, propagation patterns, class dictionary graph, inheritance relationships, evolution histories, growth-plans, propagation-directive calculus, formal calculus, object-oriented programming, data models, submodels
2	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
1	Wen-Xiao Zhao, Tong Zhou	Weighted least squares based recursive parametric identification for the submodels of a PWARX system.	Automatica	2012	DBLP DOI BibTeX RDF
1	Peter Jarvis, Jeremy G. Sumner	Markov Invariants for Phylogenetic Rate Matrices Derived from Embedded Submodels.	IEEE/ACM Trans. Comput. Biology Bioinform.	2012	DBLP DOI BibTeX RDF
1	Lajos Soukup	Elementary submodels in infinite combinatorics.	Discrete Mathematics	2011	DBLP DOI BibTeX RDF
1	Yushi Endo, Akimichi Takemura	Iterative proportional scaling via decomposable submodels for contingency tables.	Computational Statistics & Data Analysis	2009	DBLP DOI BibTeX RDF
1	Sebastian Nusser, Clemens Otte, Werner Hauptmann	Verifiable Ensembles of Low-Dimensional Submodels for Multi-class Problems with Imbalanced Misclassification Costs.	Applications of Supervised and Unsupervised Ensemble Methods	2009	DBLP DOI BibTeX RDF
1	Jörg Beyer, Kai Heesche, Werner Hauptmann, Clemens Otte	Heterogeneous mixture-of-experts for fusion of locally valid knowledge-based submodels.	ESANN	2009	DBLP BibTeX RDF
1	Farid Beninel, Christophe Biernacki	Updating a Logistic Discrimination Rule - Comparing Some Logistic Submodels in Credit-scoring.	ICAART	2009	DBLP BibTeX RDF
1	Tibor Bosse, Rianne van Lambalgen, Peter-Paul van Maanen, Jan Treur	An interface agent for attention manipulation.	AAMAS	2009	DBLP DOI BibTeX RDF	agent-human interaction, artificial intelligence, applications, ambient intelligence, attention
1	Jörg Beyer, Kai Heesche, Werner Hauptmann, Clemens Otte, Rudolf Kruse	Ensemble Learning for Multi-source Information Fusion.	ECSQARU	2009	DBLP DOI BibTeX RDF
1	Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis	Tagged Generalized Stochastic Petri Nets.	EPEW	2009	DBLP DOI BibTeX RDF
1	Paolo Bottoni, Esther Guerra, Juan de Lara	Formal Foundation for Pattern-Based Modelling.	FASE	2009	DBLP DOI BibTeX RDF
1	Henning Christiansen, Ole Torp Lassen	Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis.	ICLP	2009	DBLP DOI BibTeX RDF
1	Urs Köster, Jussi T. Lindgren, Michael Gutmann, Aapo Hyvärinen	Learning Natural Image Structure with a Horizontal Product Model.	ICA	2009	DBLP DOI BibTeX RDF
1	Mikhail Kondratyev, Maxim Garifullin	Parallel Discrete Event Simulation with AnyLogic.	PaCT	2009	DBLP DOI BibTeX RDF	AnyLogic, agent based simulation, Time Warp, parallel discrete event simulation, Java RMI, epidemic
1	ChangYin Sun, ChaoXu Mu, XunMing Li	A weighted LS-SVM approach for the identification of a class of nonlinear inverse systems.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	weighted LS-SVM, inverse system, subspaces, nonlinear modeling
1	Ivan Jureta, Caroline Herssens, Stéphane Faulkner	A comprehensive quality model for service-oriented systems.	Software Quality Journal	2009	DBLP DOI BibTeX RDF	UML, Service-oriented computing, Preferences, Priorities, Quality model
1	Johan Janson Olstam, Jan Lundgren, Mikael Adlers, Pontus Matstoms	A framework for simulation of surrounding vehicles in driving simulators.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	driving behavior, mesoscopic traffic simulation, microscopic traffic simulation, behavior modeling, real-time simulation, driving simulators, Traffic simulation, traffic generation
1	Rodolfo Orjuela, Benoît Marx, José Ragot, Didier Maquin	Proportional-Integral observer design for nonlinear uncertain systems modelled by a multiple model approach.	CDC	2008	DBLP DOI BibTeX RDF
1	Pei-shun Liu, Xue-fang Wang	Models for Lattice-Valued First-Order Logic LF(X).	FSKD	2008	DBLP DOI BibTeX RDF
1	Ping Yuan, Feng Ding, Peter Xiaoping Liu	HLS parameter estimation for multi-input multi-output systems.	ICRA	2008	DBLP DOI BibTeX RDF
1	Zhiguang Shan, Chuang Lin	Approximate Performance Analysis of Job Scheduling on Computational Grids.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Russell Cheng	Selecting the best linear simulation metamodel.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Yuan Cheng, Mohsen A. Jafari	Vision-Based Online Process Control in Manufacturing Applications.	IEEE T. Automation Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Michiel Renger, Gwendolyn L. Kolfschoten, Gert-Jan de Vreede	Challenges in Collaborative Modeling: A Literature Review.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	groups, participation, Collaborative modeling, modeling methods, system analysis and design
1	José Manuel Galán, Ricardo del Olmo, Adolfo López-Paredes	Diffusion of Domestic Water Conservation Technologies in an ABM-GIS Integrated Model.	HAIS	2008	DBLP DOI BibTeX RDF	GIS-ABM integration, domestic water management, water conservation technologies, agent based modelling, computer simulation
1	Laurent Bako, René Vidal	Algebraic Identification of MIMO SARX Models.	HSCC	2008	DBLP DOI BibTeX RDF
1	Fabien Lauer, Gérard Bloch	Switched and PieceWise Nonlinear Hybrid System Identification.	HSCC	2008	DBLP DOI BibTeX RDF
1	Jan Hegewald, Manfred Krafczyk, Jonas Tölke, Alfons G. Hoekstra, Bastien Chopard	An Agent-Based Coupling Platform for Complex Automata.	ICCS	2008	DBLP DOI BibTeX RDF	generic coupling, mutual interactions, heterogeneous, JADE, multi-scale
1	Guillaume Aucher	Consistency Preservation and Crazy Formulas in BMS.	JELIA	2008	DBLP DOI BibTeX RDF
1	Michel Grabisch, Christophe Labreuche	A decade of application of the Choquet and Sugeno integrals in multi-criteria decision aid.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification (2000) 90B50, 90B99, 91A12, 91B06, 91C05
1	Akinari Yamaguchi, Shougo Shimizu, Yasunori Ishihara, Toru Fujiwara	Bag-based data models for incomplete information and their closure properties.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Data model, Incomplete information, Bag, Closure property
1	Levent Yilmaz, Andreas Tolk	A Unifying Multimodel Taxonomy and Agent-Supported Multisimulation Strategy for Decision-Support.	Intelligent Decision Making: An AI-Based Approach	2008	DBLP DOI BibTeX RDF
1	Cristian Gatu, Petko Yanev, Erricos John Kontoghiorghes	A graph approach to generate all possible regression submodels.	Computational Statistics & Data Analysis	2007	DBLP DOI BibTeX RDF
1	Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg	Kripke submodels and universal sentences.	Math. Log. Q.	2007	DBLP DOI BibTeX RDF
1	Lúcia R. Junqueira, Paul Larson, Marcelo D. Passos	On Extensions of Elementary Submodels by Forcing.	Logic Journal of the IGPL	2007	DBLP DOI BibTeX RDF
1	Stela Sotirova, Lyubomir Sotirov	Computer-mathematical modeling of one class investment processes, based on optimal singular adaptive M3A1N computer observer: part 2.	CompSysTech	2007	DBLP DOI BibTeX RDF	Matlab-implementation, computer-mathematical modeling, financial-economic systems, initial state vector estimation, investment processes, optimal singular adaptive observation, identification, discrete systems
1	Stela Sotirova, Lyubomir Sotirov	Computer-mathematical modeling of one class investment processes, based on optimal singular adaptive M3A1N computer observer: part 1.	CompSysTech	2007	DBLP DOI BibTeX RDF	Matlab-implementation, computer-mathematical modeling, financial-economic systems, initial state vector estimation, investment processes, optimal singular adaptive observation, identification, discrete systems
1	A. Alan B. Pritsker, David L. Martin, Janet S. Reust, Mary Ann Flanigan Wagner, O. Patrick Daily, Ann M. Harper, Erick B. Edwards, Leah E. Bennett, James R. Wilson, Michael E. Kuhl, John P. Roberts, Margaret D. Allen, James F. Burdick	Organ transplantation policy evaluation (1995).	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Sukhamay Kundu	Structuring Software Functional Requirements For Automated Design And Verification.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini	Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.	HASE	2007	DBLP DOI BibTeX RDF
1	Mikko Vilenius, Janne V. Kujala, Ulla Richardson, Heikki Lyytinen, Toshio Okamoto	Bayesian Modelling of Confusability of Phoneme-Grapheme Connections.	ICALT	2007	DBLP DOI BibTeX RDF
1	Yijia Zheng, Guangyu Zhu, Shuqiang Jiang, Qingming Huang, Wen Gao	Highlight Ranking for Racquet Sports Video in User Attention Subspaces Based on Relevance Feedback.	ICME	2007	DBLP DOI BibTeX RDF
1	Petia Georgieva, Cristina Oliveira, Fernando Rocha, Sebastião Feyo de Azevedo	Process modeling strategy combining analytical and data based techniques - I. NN identification of reaction rates with known kinetics coefficients.	IJCNN	2007	DBLP DOI BibTeX RDF
1	Michael Sutterer, Olivier Coutand, Olaf Drögehorn, Klaus David, Kees van der Sluijs	Managing and Delivering Context-Dependent User Preferences in Ubiquitous Computing Environments.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
1	Jinyue Zhang	A knowledge sharing model in civil infrastructure industry.	SMC	2007	DBLP DOI BibTeX RDF
1	Francisco Pérez Andrés, Juan de Lara, Esther Guerra	Domain Specific Languages with Graphical and Textual Views.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	H. A. J. A. van Kuijk, R. J. M. Bastiaans, J. A. van Oijen, L. P. H. de Goey	Grate Furnace Combustion: A Submodel for the Solid Fuel Layer.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Grate furnace, reverse combustion, biomass
1	Wenhui Zhang	Model Checking with SAT-Based Characterization of ACTL Formulas.	ICFEM	2007	DBLP DOI BibTeX RDF
1	Yifeng Chen	Inheriting Laws for Processes with States.	IFM	2007	DBLP DOI BibTeX RDF
1	C. Murray Woodside	From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.	SFM	2007	DBLP DOI BibTeX RDF
1	Tamas Kenesei, Balazs Feil, János Abonyi	Fuzzy Clustering for the Identification of Hinging Hyperplanes Based Regression Trees.	WILF	2007	DBLP DOI BibTeX RDF	Hinging Hyperplane, NARX model, Clustering, Neuro-fuzzy systems, Regression Tree
1	Yali Amit, Alain Trouvé	POP: Patchwork of Parts Models for Object Recognition.	International Journal of Computer Vision	2007	DBLP DOI BibTeX RDF	model estimation, multi-object configurations, deformable models, object detection
1	Lúcia R. Junqueira, Paul Larson, Franklin D. Tall	Compact spaces, elementary submodels, and the countable chain condition.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Bruce D. Caulkins, Joohan Lee, Morgan C. Wang	Bootstrapping methodology for the Session-based Anomaly Notification Detector (SAND).	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	signature detection, data mining, decision tree, anomaly detection, data modeling, intrusion detection system, bootstrapping
1	Ilya Wagner, Valeria Bertacco, Todd M. Austin	Depth-driven verification of simultaneous interfaces.	ASP-DAC	2006	DBLP DOI BibTeX RDF
1	Jinhua Xu	GA-Optimized Wavelet Neural Networks for System Identification.	ICICIC	2006	DBLP DOI BibTeX RDF
1	Mohammad Abdollahi Azgomi, Ali Movaghar	Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks.	ICSEA	2006	DBLP DOI BibTeX RDF	object stochastic activity networks, modeling, evaluation, Petri nets, software performance
1	Helen M. Byrne, Markus R. Owen, Tomas Alarcón, Philip K. Maini	Cancer disease: integrative modelling approaches.	ISBI	2006	DBLP DOI BibTeX RDF
1	Hao Wang, Fei Peng, Chao Zhang, Andrej Pietschker	Software Project Level Estimation Model Framework based on Bayesian Belief Networks.	QSIC	2006	DBLP DOI BibTeX RDF
1	Philipp Rohde	On the µ-Calculus Augmented with Sabotage.	FoSSaCS	2006	DBLP DOI BibTeX RDF
1	Jian Cheng, Jian-Sheng Qian, Yi-Nan Guo	A Distributed Support Vector Machines Architecture for Chaotic Time Series Prediction.	ICONIP	2006	DBLP DOI BibTeX RDF
1	Susanne Töpfer, Reinhard Guthke, Dominik Driesch, Dirk Woetzel, Michael Pfaff	The Net Gene rator Algorithm: Reconstruction of Gene Regulatory Networks.	KDECB	2006	DBLP DOI BibTeX RDF
1	Christoph Stahl, Jens Haupert	Taking Location Modelling to New Levels: A Map Modelling Toolkit for Intelligent Environments.	LoCA	2006	DBLP DOI BibTeX RDF	geometric location modelling, intelligent environment, pedestrian navigation
1	Peter Bazan, Reinhard German	Approximate Analysis of Stochastic Models by Self-Correcting Aggregation.	QEST	2005	DBLP DOI BibTeX RDF
1	Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini	Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.	QEST	2005	DBLP DOI BibTeX RDF
1	C. M. Burns, D. J. Bryant, B. A. Chalmers	Boundary, Purpose, and Values in Work-Domain Models: Models of Naval Command and Control.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2005	DBLP DOI BibTeX RDF
1	Jae-Hyuck Lee	Foundation for the New Algorithm Learning Pseudo-Independent Models.	ECSQARU	2005	DBLP DOI BibTeX RDF
1	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
1	Mustapha Ouladsine, Gérard Bloch, Xavier Dovifaaz	Neural modelling and control of a Diesel engine with pollution constraints.	Journal of Intelligent and Robotic Systems	2005	DBLP DOI BibTeX RDF	pollution reduction, neural networks, nonlinear modelling, neural controller, Diesel engine
1	Teemu Roos, Hannes Wettig, Peter Grünwald, Petri Myllymäki, Henry Tirri	On Discriminative Bayesian Network Classifiers and Logistic Regression.	Machine Learning	2005	DBLP DOI BibTeX RDF	Bayesian networks, logistic regression, Bayesian classifiers, discriminative learning
1	Tapani Hyttinen	Finitely generated submodels of an uncountably categorical homogeneous structure.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
1	George F. Riley, Mostafa H. Ammar, Richard M. Fujimoto, Alfred Park, Kalyan S. Perumalla, Donghua Xu	A federated approach to distributed network simulation.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	Simulation, networks, distributed simulation
1	Robel Y. Kahsay, Li Liao, Guang R. Gao	An Improved Hidden Markov Model for Transmembrane Topology Prediction.	ICTAI	2004	DBLP DOI BibTeX RDF
1	Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi	Modeling and Evaluation with Object Stochastic Activity Networks.	QEST	2004	DBLP DOI BibTeX RDF
1	Zidong Wang, Daniel W. C. Ho, Xiaohui Liu	A note on the robust stability of uncertain stochastic fuzzy systems with time-delays.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2004	DBLP DOI BibTeX RDF
1	Rajiv Chaturvedi, Chengbang Huang, Jesús A. Izaguirre, Stuart A. Newman, James A. Glazier, Mark S. Alber	A Hybrid Discrete-Continuum Model for 3-D Skeletogenesis of the Vertebrate Limb.	ACRI	2004	DBLP DOI BibTeX RDF
1	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini	Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Ales Padrta, Vlasta Radová	On the Background Model Construction for Speaker Verification Using GMM.	TSD	2004	DBLP DOI BibTeX RDF
1	Peter Buchholz, Peter Kemper	Kronecker Based Matrix Representations for Large Markov Models.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
1	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis	The OsMoSys approach to multi-formalism modeling of systems.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
1	Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro	Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.	ACSD	2003	DBLP DOI BibTeX RDF
1	Eric P. Xing, Wei Wu, Michael I. Jordan, Richard M. Karp	LOGOS: a modular Bayesian model for de novo motif detection.	CSB	2003	DBLP DOI BibTeX RDF
1	M. Lanus, Liang Yin, Kishor S. Trivedi	Hierarchical composition and aggregation of state-based availability and performability models.	IEEE Transactions on Reliability	2003	DBLP DOI BibTeX RDF
1	Jochen Malte Küster, Gregor Engels	Consistency Management Within Model-Based Object-Oriented Development of Components.	FMCO	2003	DBLP DOI BibTeX RDF
1	Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino	A Greedy Approach to Identification of Piecewise Affine Models.	HSCC	2003	DBLP DOI BibTeX RDF
1	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
1	Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen	A Relational Model for Formal Object-Oriented Requirement Analysis in UML.	ICFEM	2003	DBLP DOI BibTeX RDF	UML, Object-orientation, conceptual models, use-cases, requirement specification
1	Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu	Saturation Unbound.	TACAS	2003	DBLP DOI BibTeX RDF
1	Kanta Tachibana, Takeshi Furuhashi	A structure identification method of submodels for hierarchical fuzzy modeling using the multiple objective genetic algorithm.	Int. J. Intell. Syst.	2002	DBLP DOI BibTeX RDF
1	Tapani Hyttinen, Olivier Lessmann	A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model.	J. Symb. Log.	2002	DBLP BibTeX RDF
1	John Whaley, Michael C. Martin, Monica S. Lam	Automatic extraction of object-oriented component interfaces.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Aleksander Kolcz, Xiaomei Sun, Jugal K. Kalita	Efficient handling of high-dimensional feature spaces by randomized classifier ensembles.	KDD	2002	DBLP DOI BibTeX RDF
1	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
1	Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli	Analyzing quality of service of GPRS network systems from a user's perspective.	ISCC	2002	DBLP DOI BibTeX RDF