Search results for "continuous models"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Lance A. Glasser, Charles A. Zukowski	Continuous Models for Communication Density Constraints on Multiprocessor Performance.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	continuous models, communication density constraints, multiprocessor performance, communication energy density, performance evaluation, multiprocessing systems, interprocessor communication, communication bandwidth
1	Jaesik Choi, Eyal Amir, David J. Hill	Lifted Inference for Relational Continuous Models	CoRR	2012	DBLP BibTeX RDF
1	Mohammed Alfaki, Dag Haugland	Comparison of discrete and continuous models for the pooling problem.	ATMOS	2011	DBLP DOI BibTeX RDF
1	Raimo Franke, Fabian J. Theis, Steffen Klamt	From Binary to Multivalued to Continuous Models: The Lac Operon as a Case Study.	J. Integrative Bioinformatics	2010	DBLP DOI BibTeX RDF
1	Jan Krumsiek, Sebastian Pölsterl, Dominik M. Wittmann, Fabian J. Theis	Odefy -- From discrete to continuous models.	BMC Bioinformatics	2010	DBLP DOI BibTeX RDF
1	Jaesik Choi, Eyal Amir, David J. Hill	Lifted Inference for Relational Continuous Models.	UAI	2010	DBLP BibTeX RDF
1	Jaesik Choi, David J. Hill, Eyal Amir	Lifted Inference for Relational Continuous Models.	Statistical Relational Artificial Intelligence	2010	DBLP BibTeX RDF
1	Alethea B. T. Barbaro, Kirk Taylor, Peterson F. Trethewey, Lamia Youseff, Björn Birnir	Discrete and continuous models of the dynamics of pelagic fish: Application to the capelin.	Mathematics and Computers in Simulation	2009	DBLP DOI BibTeX RDF
1	Paul Maier, Martin Sachenbacher	Factory Monitoring and Control with Mixed Hardware/software, Discrete/continuous Models.	ETFA	2009	DBLP DOI BibTeX RDF
1	Hendrik Kück, Matthew D. Hoffman, Arnaud Doucet, Nando de Freitas	Inference and Learning for Active Sensing, Experimental Design and Control.	IbPRIA	2009	DBLP DOI BibTeX RDF
1	Guy N. Brock, Vasyl Pihur, Laura Salter Kubatko	Detecting Gene Regulatory Networks from Microarray Data Using Fuzzy Logic.	Fuzzy Systems in Bioinformatics and Computational Biology	2009	DBLP DOI BibTeX RDF
1	Denis Bolduc, Lynda Khalaf, Érick Moyneur	Identification-robust simulation-based inference in joint discrete/continuous models for energy markets.	Computational Statistics & Data Analysis	2008	DBLP DOI BibTeX RDF
1	Heiko Hamann, Heinz Wörn	A framework of space-time continuous models for algorithm design in swarm robotics.	Swarm Intelligence	2008	DBLP DOI BibTeX RDF	Design of self-organization, Microscopic modeling, Swarm robotics, Macroscopic modeling
1	Fabio A. C. C. Chalub, Max O. Souza	Discrete versus continuous models in evolutionary dynamics: From simple to simpler-and even simpler-models.	Mathematical and Computer Modelling	2008	DBLP DOI BibTeX RDF
1	Richard Holzer, Hermann de Meer	On modeling of self-organizing systems.	Autonomics	2008	DBLP DOI BibTeX RDF	self-organization, systems, mathematical modeling, modeling systems
1	Chao Yan, Mark R. Greenstreet	Faster projection based methods for circuit level verification.	ASP-DAC	2008	DBLP DOI BibTeX RDF
1	Hosam A. Aleem, Ferda Mavituna, David H. Green	A Galois Field Approach to Modelling Gene Expression Regulation.	ISMVL	2008	DBLP DOI BibTeX RDF	Gene Expression, Galois Field, Genetic Code, Reed-Muller Expansion
1	Monika Heiner, David Gilbert, Robin Donaldson	Petri Nets for Systems and Synthetic Biology.	SFM	2008	DBLP DOI BibTeX RDF
1	Giacomo Aletti, Giovanni Naldi, Giuseppe Toscani	First-Order Continuous Models of Opinion Formation.	SIAM Journal of Applied Mathematics	2007	DBLP DOI BibTeX RDF
1	Chao Yan, Mark R. Greenstreet	Circuit Level Verification of a High-Speed Toggle.	FMCAD	2007	DBLP DOI BibTeX RDF
1	David Gilbert, Monika Heiner, Sebastian Lehrack	A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets.	CMSB	2007	DBLP DOI BibTeX RDF
1	Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams	Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles.	HSCC	2007	DBLP DOI BibTeX RDF
1	Justo Puerto	A New Formulation of the Capacitated Discrete Ordered Median Problems with 0, 1-Assignment.	OR	2007	DBLP DOI BibTeX RDF
1	Nicholas K. Jong, Peter Stone	Model-Based Exploration in Continuous State Spaces.	SARA	2007	DBLP DOI BibTeX RDF
1	Georges Linarès, Christophe Lévy	Fast Discriminant Training of Semi-continuous HMM.	TSD	2007	DBLP DOI BibTeX RDF
1	Armin Fügenschuh, Michael Herty, Axel Klar, Alexander Martin	Combinatorial and Continuous Models for the Optimization of Traffic Flows on Networks.	SIAM Journal on Optimization	2006	DBLP DOI BibTeX RDF
1	Mathieu Desbrun	Discrete differential forms and applications to surface tiling.	Symposium on Computational Geometry	2006	DBLP DOI BibTeX RDF
1	J. W. Barrett, L. Prigozhin	Sandpiles and Superconductors: Dual Variational Formulations for Critical-State Problems.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	critical-state problems, duality, variational inequalities, numerical solution
1	Sung Key Koh, G. K. Ananthasuresh, Saraswathi Vishveshwara	A Deterministic Optimization Approach to Protein Sequence Design Using Continuous Models.	I. J. Robotic Res.	2005	DBLP BibTeX RDF
1	Ryo Kikuuwe, Naoyuki Takesue, Akihito Sano, Hiromi Mochiyama, Hideo Fujimoto	Fixed-step friction simulation: from classical Coulomb model to modern continuous models.	IROS	2005	DBLP DOI BibTeX RDF
1	Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid	Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
1	Paula Severi, Fer-Jan de Vries	Continuity and Discontinuity in Lambda Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
1	Sándor Rácz, Tamás Jakabfy, Gábor Tóth	The Cumulative Idle Time in an ND/D/1 Queue.	Queueing Syst.	2005	DBLP DOI BibTeX RDF	ND/D/1 queue, cumulative idle time, approximation
1	Julien Lenoir, Sylvère Fonteneau	Mixing Deformable and Rigid-Body Mechanics Simulation.	Computer Graphics International	2004	DBLP DOI BibTeX RDF	Deformable continuous models, Constraints, Physically-based animation, Lagrange multipliers, Rigid bodies
1	Dale E. Martin, Philip A. Wilsey, Robert J. Hoekstra, Eric R. Keiter, Scott A. Hutchinson, Thomas V. Russo, Lon J. Waters	Scheduling Optimization on the Simbus Backplane.	Annual Simulation Symposium	2004	DBLP DOI BibTeX RDF
1	Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva	Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets.	SMC	2004	DBLP DOI BibTeX RDF
1	Bernard P. Zeigler, Rajanikanth Jammalamadaka, Salil R. Akerkar	Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems.	AIS	2004	DBLP DOI BibTeX RDF
1	Walter Oberschelp	Discrete and Continuous Methods of Demography.	Logic versus Approximation	2004	DBLP DOI BibTeX RDF
1	Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire Tomlin	Inference Methods for Autonomous Stochastic Linear Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Anthony Karel Seda, Máire Lane	On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs.	IWFM	2003	DBLP BibTeX RDF
1	Dimitrios Dimitriadis, Petros Maragos	Robust energy demodulation based on continuous models with application to speech recognition.	INTERSPEECH	2003	DBLP BibTeX RDF
1	Giuseppe Longo	Computer modelling and natural phenomena.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	computational models in biology, continuous models, digital approximation and discrete data structures, plastiticy and degeneracy in neural systems, unpredictability and undecidability, dynamical systems, causal relations
1	Hai Zhou	Timing analysis with crosstalk is a fixpoint on a complete lattice.	IEEE Trans. on CAD of Integrated Circuits and Systems	2003	DBLP DOI BibTeX RDF
1	Manuel Silva, Laura Recalde	Unforced Continuous Petri Nets and Positive Systems.	POSTA	2003	DBLP DOI BibTeX RDF
1	Jörg Oechssler, Frank Riedel	On the Dynamic Foundation of Evolutionary Stability in Continuous Models.	J. Economic Theory	2002	DBLP DOI BibTeX RDF
1	Jean J. O'Reilly	AweSim: introduction to AweSim.	Winter Simulation Conference	2002	DBLP DOI BibTeX RDF
1	Biing-Feng Wang, Shan-Chyun Ku, Yong-Hsian Hsieh	The Conditional Location of a Median Path.	COCOON	2002	DBLP DOI BibTeX RDF
1	Hartmann J. Genrich, Robert Küffner, Klaus Voss	Executable Petri net models for the analysis of metabolic pathways.	STTT	2001	DBLP DOI BibTeX RDF	Glycolysis, Citric acid cycle, Coloured Petri nets, Executable model, Metabolic pathway
1	Michel Ferney	Modelling single-product production systems using state equations: continuous systems and discrete systems that can be represented by continuous models.	Int. J. Systems Science	2000	DBLP DOI BibTeX RDF
1	Aziz Naamane, A. Damiba, Norbert Giambiasi	Generalized DEVS vs Continuous models.	ESM	2000	DBLP BibTeX RDF
1	Jérôme Martin, Jean-Baptiste Durand	Automatic Handwriting Gestures Recognition Using Hidden Markov Models.	FG	2000	DBLP DOI BibTeX RDF
1	Alexios Chouchoulas, Qiang Shen	Rough Set-Based Dimensionality Reduction for Multivariate Adaptive Regression Splines.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
1	Andreas W. M. Dress, Katharina T. Huber, Vincent Moulton	Some new perspectives regarding sparse continuous models for discrete data structures.	Electronic Notes in Discrete Mathematics	1999	DBLP DOI BibTeX RDF
1	Simin Nadjm-Tehrani, Ove Åkerlund	Combining Theorem Proving and Continuous Models in Synchronous Design.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Pieter J. Mosterman, Gautam Biswas	Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions.	HSCC	1999	DBLP DOI BibTeX RDF
1	Kris Demuynck, Jacques Duchateau, Dirk Van Compernolle	Reduced semi-continuous models for large vocabulary continuous speech recognition in Dutch.	ICSLP	1996	DBLP BibTeX RDF
1	Mikako Harada, Andrew P. Witkin, David Baraff	Interactive physically-based manipulation of discrete/continuous models.	SIGGRAPH	1995	DBLP DOI BibTeX RDF	interactive techniques, physically-based modeling, grammars
1	Bernhard Möller	Ordered and Continuous Models of Higher-Order Specifications.	HOA	1993	DBLP DOI BibTeX RDF
1	Paul A. Fishwick, Bernard P. Zeigler	A Multimodel Methodology for Qualitative Model Engineering.	ACM Trans. Model. Comput. Simul.	1992	DBLP DOI BibTeX RDF	combined simulation, homomorphism, abstraction levels, systems theory, qualitative simulation, multimodeling
1	Israel Koren, Zahava Koren	Discrete and Continuous Models for the Performance of Reconfigurable Multistage Systems.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF
1	Larry J. LeBlanc, Ronald V. Simmons	Continuous Models for Capacity Design of Large Packet-Switched Telecommunication Networks.	INFORMS Journal on Computing	1989	DBLP DOI BibTeX RDF
1	Bernhard Möller	On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types.	Acta Inf.	1985	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot	The Semantics of Local Storage, or What Makes the Free-List Free?	POPL	1984	DBLP DOI BibTeX RDF
1	Ernst-Erich Doberkat	Continuous models that are equivalent to randomness for the analysis of many sorting algorithms.	Computing	1983	DBLP DOI BibTeX RDF	sorting, Analysis of algorithms
1	Johannes Krauth, Robert Schaback	An Interactive System for Simulation and Graphic Evaluation of Discrete and Continuous Models.	ESC	1983	DBLP BibTeX RDF
1	Bernhard Möller	Ordered and Continuous Models of Algebraic Types.	ADT	1983	DBLP BibTeX RDF