Search results for "lumping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Salem Derisavi	A Symbolic Algorithm for Optimal Markov Chain Lumping.	TACAS	2007	DBLP DOI BibTeX RDF
2	Jasen Markovski, Nikola Trcka	Lumping Markov Chains with Silent Steps.	QEST	2006	DBLP DOI BibTeX RDF
2	Salem Derisavi, Peter Kemper, William H. Sanders	Lumping Matrix Diagram Representations of Markov Models.	DSN	2005	DBLP DOI BibTeX RDF
2	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Model-Checking Algorithms for Continuous-Time Markov Chains.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping
2	R. Vanselow	Error Estimates of a FEM with Lumping for Parabolic PDEs.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 65M60, 65M20, 65M99, 35A40
2	Giuseppe Iazeolla, Francesco Marinuzzi	LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	LISPACK, list-manipulation parallel-modeling package, string manipulation, recursive elimination, large Markovian process, symbolic-approach methodology, performance evaluation, parallel algorithms, parallel algorithms, performance analysis, parallel processing, software tool, software tools, Markov processes, parallel systems, lumping
1	Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad	Lumping partially symmetrical stochastic models.	Perform. Eval.	2011	DBLP DOI BibTeX RDF
1	Liyong Zhu, Qiang Du	Mesh-dependent stability for finite element approximations of parabolic equations with mass lumping.	J. Computational Applied Mathematics	2011	DBLP DOI BibTeX RDF
1	Antti Valmari, Giuliana Franceschinis	Simple O(m logn) Time Markov Chain Lumping.	TACAS	2010	DBLP DOI BibTeX RDF
1	Karl Heinz Hoffmann, Peter Salamon	Bounding the lumping error in Markov chain dynamics.	Appl. Math. Lett.	2009	DBLP DOI BibTeX RDF
1	Francesco Bonchi, Carlos Castillo, Debora Donato, Aristides Gionis	Taxonomy-driven lumping for sequence mining.	Data Min. Knowl. Discov.	2009	DBLP DOI BibTeX RDF
1	Francesco Bonchi, Carlos Castillo, Debora Donato, Aristides Gionis	Taxonomy-Driven Lumping for Sequence Mining.	ECML/PKDD	2009	DBLP DOI BibTeX RDF
1	Tugrul Dayar	Analyzing Large Sparse Markov Chains of Kronecker Products.	QEST	2009	DBLP DOI BibTeX RDF	block iterative methods, preconditioned projection methods, Markov chains, grouping, reordering, multilevel methods, Kronecker products, lumping
1	Avi Robinson-Mosher, R. Elliot English, Ronald Fedkiw	Accurate tangential velocities for solid fluid coupling.	Symposium on Computer Animation	2009	DBLP DOI BibTeX RDF
1	Vetle I. Torvik, Neil R. Smalheiser	Author name disambiguation in MEDLINE.	TKDD	2009	DBLP DOI BibTeX RDF	Name disambiguation, bibliographic databases
1	Lenka Jerábková, Torsten Kuhlen	Stable Cutting of Deformable Objects in Virtual Environments Using XFEM.	IEEE Computer Graphics and Applications	2009	DBLP DOI BibTeX RDF
1	Bao Lin, Claude F. Leibovici, Sten Bay Jørgensen	Optimal component lumping: Problem formulation and solution techniques.	Computers & Chemical Engineering	2008	DBLP DOI BibTeX RDF
1	Andrea Bobbio, Marco Gribaudo, Miklós Telek	Analysis of Large Scale Interacting Systems by Mean Field Method.	QEST	2008	DBLP DOI BibTeX RDF
1	Francien Dechesne, Simona Orzan, Yanjing Wang	Refinement of Kripke Models for Dynamics.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Josiane Xavier Parreira, Carlos Castillo, Debora Donato, Sebastian Michel, Gerhard Weikum	The Juxtaposed approximate PageRank method for robust PageRank approximation in a peer-to-peer web search network.	VLDB J.	2008	DBLP DOI BibTeX RDF	Social reputation, Markov chain aggregation, Link analysis, Peer-to-peer systems, Web graph
1	Sébastien Jund, Stéphanie Salmon	Arbitrary High-Order Finite Element Schemes and High-Order Mass Lumping.	Applied Mathematics and Computer Science	2007	DBLP DOI BibTeX RDF
1	José Elias Laier	Mass lumping, dispersive properties and bifurcation of Timoshenko's flexural waves.	Advances in Engineering Software	2007	DBLP DOI BibTeX RDF
1	Pradeep Kumar Gudla, Ranjan Ganguli	Error estimates for inconsistent load lumping approach in finite element solution of differential equations.	Applied Mathematics and Computation	2007	DBLP DOI BibTeX RDF
1	Salem Derisavi	Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping.	QEST	2007	DBLP DOI BibTeX RDF
1	Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink	Compositionality for Markov Reward Chains with Fast Transitions.	EPEW	2007	DBLP DOI BibTeX RDF	discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition
1	Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders	The Mobius Modeling Environment: Recent Extensions - 2005.	QEST	2005	DBLP DOI BibTeX RDF
1	Suksun Hutangkabodee, Yahya H. Zweiri, Lakmal D. Seneviratne, K. Altho	Multi-solution Problem for Track-Terrain Interaction Dynamics and Lumped Soil Parameter Identification.	FSR	2005	DBLP DOI BibTeX RDF	Multi-solution, Soil parameter, Tracked UGVs, Interaction dynamics, Newton Raphson method, Identification, Lumped
1	Luca Bergamaschi, Marco Caliari, Marco Vianello	The ReLPM Exponential Integrator for FE Discretizations of Advection-Diffusion Equations.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
1	Cheah C. J. Moey, Jonathan E. Rowe	A Reduced Markov Model of GAs Without the Exact Transition Matrix.	PPSN	2004	DBLP DOI BibTeX RDF
1	Salem Derisavi, Holger Hermanns, William H. Sanders	Optimal state-space lumping in Markov chains.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
1	Gabriel Acosta, Ricardo G. Durán, Julio D. Rossi	An Adaptive Time Step Procedure for a Parabolic Problem with Blow-up.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 65M20, 35B40, 65M12
1	Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié	On the use of partial symmetries for lumping Markov chains.	SIGMETRICS Performance Evaluation Review	2001	DBLP DOI BibTeX RDF
1	Holger Hermanns, Joost-Pieter Katoen	Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.	CONCUR	2001	DBLP DOI BibTeX RDF
1	Marie Duflot, Laurent Fribourg, Claudine Picaronny	Randomized Finite-State Distributed Algorithms as Markov Chains.	DISC	2001	DBLP DOI BibTeX RDF
1	C. C. Tan, Albert Y. Zomaya	A Frequency-Dependent Direct Adaptive Scheme for Robot Manipulators: A Case of Model-Following Motion Control.	Journal of Intelligent and Robotic Systems	1998	DBLP DOI BibTeX RDF	model-following control, dynamic systems, adaptive control, robot manipulators
1	Meera Balakrishnan, Andrew L. Reibman	Characterizing a Lumping Heuristic for a Markov Network Reliability Model.	FTCS	1993	DBLP DOI BibTeX RDF