Search results for "constants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Stanley Kok, Pedro M. Domingos	Learning Markov logic network structure via hypergraph lifting.	ICML	2009	DBLP DOI BibTeX RDF
15	Ofer Melamed, Omri Barak, Gilad Silberberg, Henry Markram, Misha Tsodyks	Slow oscillations in neural networks with facilitating synapses.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Temporal processing, Model, Synchrony, Recurrent network, Dynamic synapse, Neocortex
15	Oded Blayer, Tamir Tassa	Improved versions of Tardos' fingerprinting scheme.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 68P30
15	Jeen-Shing Wang, Jen-Chieh Chiang	A Cluster Validity Measure With Outlier Detection for Support Vector Clustering.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
15	Youngmi Hur, Amos Ron	L-CAMP: Extremely Local High-Performance Wavelet Representations in High Spatial Dimension.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
15	Juan C. Pereda, Javier de Lope Asiaín, María Victoria Rodellar Biarge	Evolutionary Controllers for Snake Robots Basic Movements.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Snake robots, Proportional-integral-derivate controllers, Genetics algorithms
15	Ping Li 0001	Estimators and tail bounds for dimension reduction in lα (0 < α ≤ 2) using stable random projections.	SODA	2008	DBLP BibTeX RDF
15	Rayan Saab, Rick Chartrand, Özgür Yilmaz	Stable sparse approximations via nonconvex optimization.	ICASSP	2008	DBLP DOI BibTeX RDF
15	Donald O. Hamnes	Tuning a Distributed Simulator Using an Evolutionary Algorithm.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	parallel and distributed discrete event simulation, evolutionary algorithm
15	Levent Aksoy, Ece Olcay Günes	Area optimization algorithms in high-speed digital FIR filter synthesis.	SBCCI	2008	DBLP DOI BibTeX RDF	high-speed filter design, multiple constant multiplications, subexpression sharing, area optimization, carry-save adders
15	Xiaolue Lai	Frequency-aware PPV: a robust phase macromodel for accurate oscillator noise analysis.	ICCAD	2008	DBLP DOI BibTeX RDF
15	Hiroshi Kojima, Shiori Katsumata	An Analysis of Synaptic Transmission and its Plasticity by Glutamate Receptor Channel Kinetics Models and 2-Photon Laser Photolysis.	ICONIP (1)	2008	DBLP DOI BibTeX RDF
15	Yaroslav D. Sergeyev, Dmitri E. Kvasov, Falah M. H. Khalaf	A one-dimensional local tuning algorithm for solving GO problems with partially defined constraints.	Optim. Lett.	2007	DBLP DOI BibTeX RDF	Multiextremal constraints, Index scheme, Local tuning, Global optimization, Geometric algorithms
15	Paolo Valente	Exact GPS simulation and optimal fair scheduling with logarithmic complexity.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	scheduling, complexity theory, tree data structures
15	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Deciding equivalences among conjunctive aggregate queries.	J. ACM	2007	DBLP DOI BibTeX RDF	bag-set semantics, Aggregation, Datalog, query equivalence
15	Paul C. Leopardi	Positive weight quadrature on the sphere and monotonicities of Jacobi polynomials.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 65D32, 33C45
15	Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke	Selecting theories and nonce generation for recursive protocols.	FMSE	2007	DBLP DOI BibTeX RDF	security protocols, decidability, automatic analysis
15	Levent Aksoy, Ece Olcay Günes, Eduardo A. C. da Costa, Paulo F. Flores, José Monteiro 0001	Effect of Number Representation on the Achievable Minimum Number of Operations in Multiple Constant Multiplications.	SiPS	2007	DBLP DOI BibTeX RDF
15	Hazer Inaltekin, Stephen B. Wicker	The Behavior of Unbounded Path-loss Models and the Effect of Singularity on Computed Network Interference.	SECON	2007	DBLP DOI BibTeX RDF
15	Marios Mavronicolas, Burkhard Monien, Klaus W. Wagner	Weighted Boolean Formula Games.	WINE	2007	DBLP DOI BibTeX RDF
15	Jose H. Blanchet, Jingchen Liu	Path-sampling for state-dependent importance sampling.	WSC	2007	DBLP DOI BibTeX RDF
15	Young-Geun Lee, Joo-Yul Park, Ki-Seok Chung	Design of Low Power MAC Operator with Dual Precision Mode.	RTCSA	2007	DBLP DOI BibTeX RDF
15	Bakhadyr Khoussainov, Jiamou Liu	On Complexity of Ehrenfeucht-Fraïssé Games.	LFCS	2007	DBLP DOI BibTeX RDF
15	Sara Adams, Joël Ouaknine, James Worrell 0001	Undecidability of Universality for Timed Automata with Minimal Resources.	FORMATS	2007	DBLP DOI BibTeX RDF
15	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
15	Andreas Moser, Christopher Kruegel, Engin Kirda	Limits of Static Analysis for Malware Detection.	ACSAC	2007	DBLP DOI BibTeX RDF
15	Andreas Alexander Albrecht	A Stopping Criterion for Logarithmic Simulated Annealing.	Computing	2006	DBLP DOI BibTeX RDF	simulated annealing, Markov chains, convergence analysis, Search methods
15	Jinbo Xu, Feng Jiao, Bonnie Berger	A Parameterized Algorithm for Protein Structure Alignment.	RECOMB	2006	DBLP DOI BibTeX RDF
15	Alexander Kruger	Stationarity and Regularity Concepts for Set Systems.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	extremality, set-valued mapping, Asplund space, optimality, regularity, nonsmooth analysis, normal cone, stationarity
15	Paola Bonizzoni, Giancarlo Mauri	A Decision Procedure for Reflexive Regular Splicing Languages.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
15	Markku Rontu, Ari Korhonen, Lauri Malmi	System for enhanced exploration and querying.	AVI	2006	DBLP DOI BibTeX RDF	visualization, database, visual query system
15	Karel Bartusek, Eva Gescheidtova, Zdenek Smékal	Measuring the Diffusion of Nuclei in Biological Systems by Magnetic Resonance Methods: Checking the Quality of Gradient Magnetic Fields.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
15	Chong Wang, Antje Krause, Chris D. Nugent, Werner Dubitzky	Markov Modeling of Conformational Kinetics of Cardiac Ion Channel Proteins.	ISBMDA	2006	DBLP DOI BibTeX RDF	time constant, Markov model, mutation, conformation, ion channel
15	Dieter van Melkebeek, Konstantin Pervyshev	A Generic Time Hierarchy for Semantic Models with One Bit of Advice.	CCC	2006	DBLP DOI BibTeX RDF
15	Eva Gescheidtova, Radek Kubasek, Karel Bartusek	Testing the Quality of Magnetic Gradient Fields for Studying Self-Diffusion Processes in Biological Specimens by Magnetic Resonance Methods.	APCCAS	2006	DBLP DOI BibTeX RDF
15	Xiaolue Lai, Jaijeet S. Roychowdhury	A multilevel technique for robust and efficient extraction of phase macromodels of digitally controlled oscillators.	DAC	2006	DBLP DOI BibTeX RDF	DCO, PPV, simulation, PLL, macromodel, VCO, DPLL
15	Andrey S. Krylov, Danil Korchagin	Fast Hermite Projection Method.	ICIAR (1)	2006	DBLP DOI BibTeX RDF
15	Sara Cohen, Yehoshua Sagiv, Werner Nutt	Equivalences among aggregate queries with negation.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Aggregation, Datalog, negation, query equivalence
15	Lars Jacobsen, Kim S. Larsen	Exponentially decreasing number of operations in balanced trees.	Acta Informatica	2005	DBLP DOI BibTeX RDF
15	G. R. Liu, H. J. Ma, Y. C. Wang	Material characterization of composite laminates using dynamic response and real parameter-coded microgenetic algorithm.	Eng. Comput.	2005	DBLP DOI BibTeX RDF	Nondestructive evaluation, Material characterization, Composite laminate, Real parameter-coded microgenetic algorithm, Dynamic, Inverse problem
15	Chirayu S. Amin, Masud H. Chowdhury, Yehea I. Ismail	Realizable reduction of interconnect circuits including self and mutual inductances.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
15	Hsin-Yun Hu, Zi-Cai Li	Verification of Reduced Convergence Rates.	Computing	2005	DBLP DOI BibTeX RDF	Numerical verification, reduced convergence rates, singularity, Poisson equation, superconvergence
15	Laurent Condat, Dimitri Van De Ville, Thierry Blu	Hexagonal versus orthogonal lattices: a new comparison using approximation theory.	ICIP (3)	2005	DBLP DOI BibTeX RDF
15	Aviv A. Mezer, Eran Bosis, Uri Ashery, Esther Nachliel, Menachem Gutman	A Comprehensive Kinetic Model of the Exocytotic Process: Evaluation of the Reaction Mechanism.	Systems Biology and Regulatory Genomics	2005	DBLP DOI BibTeX RDF
15	Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith 0001	Runtime specialization with optimistic heap analysis.	OOPSLA	2005	DBLP DOI BibTeX RDF	program analysis, partial evaluation, dynamic optimization, specialization
15	Peter V. Homeier	A Design Structure for Higher Order Quotients.	TPHOLs	2005	DBLP DOI BibTeX RDF
15	Chuzo Iwamoto, Yoshiaki Nakashiba, Kenichi Morita, Katsunobu Imai	Translational Lemmas for Alternating TMs and PRAMs.	FCT	2005	DBLP DOI BibTeX RDF
15	Ian Dempsey	Constant generation for the financial domain using grammatical evolution.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	constant creation, digit concatenation, genetic programming, grammatical evolution
15	Alexey D. Yashunsky	On the Properties of Asymptotic Probability for Random Boolean Expression Values in Binary Bases.	SAGA	2005	DBLP DOI BibTeX RDF
15	Uwe Schöning	New Algorithmic Paradigms in Exponential Time Algorithms.	CiE	2005	DBLP DOI BibTeX RDF
15	Dong Tang, Kishor S. Trivedi	Hierarchical Computation of Interval Availability and Related Metrics.	DSN	2004	DBLP DOI BibTeX RDF
15	Edward L. Robertson	Triadic Relations: An Algebra for the Semantic Web.	SWDB	2004	DBLP DOI BibTeX RDF
15	Jie Zuo, Changjie Tang, Chuan Li 0002, Chang-an Yuan 0001, An-long Chen	Time Series Prediction Based on Gene Expression Programming.	WAIM	2004	DBLP DOI BibTeX RDF
15	Gérald Bianchi, Barbara Solenthaler, Gábor Székely, Matthias Harders	Simultaneous Topology and Stiffness Identification for Mass-Spring Models Based on FEM Reference Deformations.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
15	Hong-Sain Ooi	High-Speed Stream Cipher.	AINA (2)	2004	DBLP DOI BibTeX RDF
15	Wei Du, Gagan Agrawal	Language and Compiler Support for Adaptive Applications.	SC	2004	DBLP DOI BibTeX RDF
15	Stéphane Coulondre	A top-down proof procedure for generalized data dependencies.	Acta Informatica	2003	DBLP DOI BibTeX RDF
15	Florence Forbes, Nathalie Peyrard	Hidden Markov Random Field Model Selection Criteria Based on Mean Field-Like Approximations.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	hidden Markov random fields, Image segmentation, model selection, partition function, Bayesian Information Criterion, mean field approximation
15	Johan Bengtsson, Wang Yi 0001	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
15	Masud H. Chowdhury, Chirayu S. Amin, Yehea I. Ismail, Chandramouli V. Kashyap, Byron Krauter	Realizable reduction of RLC circuits using node elimination.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
15	Xiang-Yang Li 0001, Yu Wang 0003	Efficient Construction of Low Weight Bounded Degree Planar Spanner.	COCOON	2003	DBLP DOI BibTeX RDF
15	Chirayu S. Amin, Masud H. Chowdhury, Yehea I. Ismail	Realizable RLCK circuit crunching.	DAC	2003	DBLP DOI BibTeX RDF	crunching, simulation, interconnect, passive, realizable, model order reduction
15	Jean-Philippe Draye, Jack M. Winters, Guy Cheron	Self-selected modular recurrent neural networks with postural and inertial subnetworks applied to complex movements.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
15	Attila Pór, Pavel Valtr 0001	The Partitioned Version of the Erdös - Szekeres Theorem.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
15	Prosenjit Bose, Joachim Gudmundsson, Michiel H. M. Smid	Constructing Plane Spanners of Bounded Degree and Low Weight.	ESA	2002	DBLP DOI BibTeX RDF
15	Henning Fernau	Graph Separator Algorithms: A Refined Analysis.	WG	2002	DBLP DOI BibTeX RDF
15	Subhash Khot	On the power of unique 2-prover 1-round games.	STOC	2002	DBLP DOI BibTeX RDF
15	Subhash Khot	On the Power of Unique 2-Prover 1-Round Games.	CCC	2002	DBLP DOI BibTeX RDF	2-prover games, Hardness of approximation, probabilistically checkable proofs
15	Ian Agol, Joel Hass, William P. Thurston	3-MANIFOLD KNOT GENUS is NP-complete.	CCC	2002	DBLP DOI BibTeX RDF	2-prover games, Hardness of approximation, probabilistically checkable proofs
15	Pieter J. Mosterman	Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality.	HSCC	2001	DBLP DOI BibTeX RDF
15	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Equivalences among Aggregate Queries with Negation. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
15	Lars Jacobsen, Kim S. Larsen	Exponentially Decreasing Number of Operations in Balanced Trees.	ICTCS	2001	DBLP DOI BibTeX RDF
15	Pedro Alonso 0001, Raquel Cortina, Irene Díaz, Vicente Hernández, José Ranilla	A Columnwise Block Striping in Neville Elimination.	PPAM	2001	DBLP DOI BibTeX RDF
15	Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer	Conter Machines: Decidable Properties and Applications to Verification Problems.	MFCS	2000	DBLP DOI BibTeX RDF
15	Arda Yurdakul, Günhan Dündar	Multiplierless Realization of Linear DSP Transforms by Using Common Two-Term Expressions.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
15	Don Syme	Three Tactic Theorem Proving.	TPHOLs	1999	DBLP DOI BibTeX RDF
15	Nancy A. Day, Jeffrey J. Joyce	Symbolic Functional Evaluation.	TPHOLs	1999	DBLP DOI BibTeX RDF
15	Elena Couselo, Santos González, Viktor T. Markov, Alexander A. Nechaev	Recursive MDS-Codes and Pseudogeometries.	AAECC	1999	DBLP DOI BibTeX RDF
15	Klaus Brengel, Andreas Crauser, Paolo Ferragina, Ulrich Meyer 0001	An Experimental Study of Priority Queues in External Memory.	WAE	1999	DBLP BibTeX RDF
15	Bernard N. Sheehan	TICER: realizable reduction of extracted RC circuits.	ICCAD	1999	DBLP DOI BibTeX RDF
15	Santiago García Carbajal, Fermín González Martinez, Luciano Sánchez	Evolving Fuzzy Rule Based Classifiers with GA-P: A Grammatical Approach.	EuroGP	1999	DBLP DOI BibTeX RDF
15	Aleksandra B. Djurisic, Aleksandar D. Rakic, E. Herbert Li, Marijan L. Majewski, Nenad Bundaleski, Bozidar V. Stanic	Continuous Optimization Using Elite Genetic Algorithms With Adaptive Mutations.	SEAL	1998	DBLP DOI BibTeX RDF
15	William W. Cohen	Providing Database-like Access to the Web Using Queries Based on Textual Similarity.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
15	P. J. Van Rensburg, Ian S. Shaw, Jacobus Daniel van Wyk	Adaptive PID control using a genetic algorithm.	KES (2)	1998	DBLP DOI BibTeX RDF
15	Lyudmil Aleksandrov, Mark Lanthier, Anil Maheshwari, Jörg-Rüdiger Sack	An epsilon-Approximation for Weighted Shortest Paths on Polyhedral Surfaces.	SWAT	1998	DBLP DOI BibTeX RDF
15	Bruno Tuffin	Variance Reduction Applied to Product-Form Multiclass Queuing Networks.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	antithetic variates, Monte Carlo, variance reduction, low discrepancy sequences, product-form networks
15	Chung-Ping Chen, D. F. Wong 0001	Optimal Wire-Sizing Function with Fringing Capacitance Consideration.	DAC	1997	DBLP DOI BibTeX RDF
15	Chowdhury Rahman Mofizur, Masayuki Numao	Learning Simple Recursive Concepts by Discovering Missing Examples.	PRICAI	1996	DBLP DOI BibTeX RDF
15	Miki Hermann, Phokion G. Kolaitis	Unification Algorithms Cannot be Combined in Polynomial Time.	CADE	1996	DBLP DOI BibTeX RDF
15	Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad	Fast, Effective Dynamic Compilation.	PLDI	1996	DBLP DOI BibTeX RDF
15	Robert Cooper	Experience with Causally and Totally Ordered Communication Support, A cautionary tale.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
15	William K. C. Lam, Robert K. Brayton	Criteria for the Simple Path Property in Timed Automata.	CAV	1994	DBLP DOI BibTeX RDF
15	Gerd G. Hillebrand, Paris C. Kanellakis	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.	PODS	1994	DBLP DOI BibTeX RDF
15	Ewa Orlowska	Two Logical Dimensions.	JELIA	1994	DBLP DOI BibTeX RDF
15	Robert Metzger, Sean Stroud	Interprocedural Constant Propagation: An Empirical Study.	LOPLAS	1993	DBLP DOI BibTeX RDF	abstract interpretation, code optimization, control-flow graph, interprocedural analysis, dataflow graph, constant propagation
15	William K. C. Lam, Robert K. Brayton	Alternating RQ Timed Automata.	CAV	1993	DBLP DOI BibTeX RDF
15	John Harrison 0001	A HOL Decision Procedure for Elementary Real Algebra.	HUG	1993	DBLP DOI BibTeX RDF
15	Mark N. Wegman, F. Kenneth Zadeck	Constant Propagation with Conditional Branches.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	procedure integration, type determination, abstract interpretation, code optimization, control flow graph, interprocedural analysis, static single assignment form, constant propagation
15	Ytzhak H. Levendel	Reliability Analysis of Large Software Systems: Defect Data Modeling.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	defect data modeling, large distributed systems, defect removal, birth-death mathematical model, field failure report data, software development, distributed processing, software reliability, quality, program testing, large-scale systems, reliability analysis, bottleneck
15	Louis C. Guillou, Jean-Jacques Quisquater, Michael Walker 0001, Peter Landrock, Caroline Shafer	Precautions Taken Against Various Potential Attacks in ISO/IEC DIS 9796 "Digital Signature Scheme Giving Message Recovery".	EUROCRYPT	1990	DBLP DOI BibTeX RDF