Search results for "K-formula"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Robert Bartlett	Interest Operators: Facilitating Attribute Interest Criteria for Formula-Based Interest Management in Distributed Virtual Environments.	PADS	2006	DBLP DOI BibTeX RDF
58	Jan P. Grzymala-Busse, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe	Melanoma Prediction Using Data Mining System LERS.	COMPSAC	2001	DBLP DOI BibTeX RDF	Melanoma, skin cancer, ABCD formula, TDS, data mining system LERS, algorithm LEM2
48	Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe	A Search for the Best Data Mining Method to Predict Melanoma.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF	melanoma prediction, ABCD formula, data mining, Rough set theory, discretization
45	Marios Mavronicolas, Burkhard Monien, Klaus W. Wagner	Weighted Boolean Formula Games.	WINE	2007	DBLP DOI BibTeX RDF
45	Gilles Audemard, Lakhdar Sais	Circuit Based Encoding of CNF Formula.	SAT	2007	DBLP DOI BibTeX RDF
45	Stefan Porschen	A CNF Formula Hierarchy over the Hypercube.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	hypercube formula, variable closure, satisfiability, hypergraph, transversal
45	Pradeep Kumar Mishra, Palash Sarkar 0001	Parallelizing Explicit Formula for Arithmetic in the Jacobian of Hyperelliptic Curves.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	hyperelliptic curve cryptography, encapsulated add-and-double, parallel algorithm, Jacobian, explicit formula
43	Bingjun Sun, Qingzhao Tan, Prasenjit Mitra, C. Lee Giles	Extraction and search of chemical formulae in text documents on the web.	WWW	2007	DBLP DOI BibTeX RDF	chemical formula, feature boosting, support vector machines, feature selection, ranking, similarity search, conditional random fields, query models, entity extraction
43	Ben Reichardt, Robert Spalek	Span-program-based quantum algorithm for evaluating formulas.	STOC	2008	DBLP DOI BibTeX RDF	balanced ternary majority formula, formula evaluation, gadget graphs, quantum adversary bound, quantum phase estimation, span programs, quantum computing, spectral analysis, quantum algorithms, quantum walks
43	Stefan Porschen, Ewald Speckenmeyer	Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF	(hidden) Horn formula, quadratic formula, minimal vertex cover, NP-completeness, satisfiability, fixed-parameter tractability
39	Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano, Moti Yung	On Monotone Formula Closure of SZK	FOCS	1994	DBLP DOI BibTeX RDF	honest-verifier interactive SZK proof systems, monotone formula closure, SZK, statistical zero knowledge, monotone logical formula, protocol techniques, random self reducible languages, Boolean operations, structural properties, closure properties
39	Ran Raz	Tensor-rank and lower bounds for arithmetic formulas.	STOC	2010	DBLP DOI BibTeX RDF	homogenous circuits, multilinear circuits, tensor rank, lower bounds, arithmetic circuits
38	Stefan Porschen, Ewald Speckenmeyer, Bert Randerath	On Linear CNF Formulas.	SAT	2006	DBLP DOI BibTeX RDF	linear CNF formula, edge colouring, linear hypergraph, NP-completeness, satisfiability, latin square
38	Hans Kleine Büning, Xishun Zhao	On Models for Quantified Boolean Formulas.	Logic versus Approximation	2004	DBLP DOI BibTeX RDF	model checking, complexity, Boolean function, satisfiability, quantified Boolean formula
38	Qing Liu 0011, Lan Liu	Rough Logic and Its Reasoning.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Atomic formula, Well-formed formula, Resolution reasoning, Deductive reasoning
38	Tianyan Deng, Daoyun Xu	NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k).	FAW	2008	DBLP DOI BibTeX RDF	PCP theorem, linear CNF formula, LSAT, minimal unsatisfiable(MU) formula, NP-completeness, reduction
36	Hana Chockler, Arie Gurfinkel, Ofer Strichman	Beyond Vacuity: Towards the Strongest Passing Formula.	FMCAD	2008	DBLP DOI BibTeX RDF
36	Shyh-Kwei Chen	An Exact Closed-Form Formula for d-Dimensional Quadtree Decomposition of Arbitrary Hyperrectangles.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	regular decomposition, geometric data, combinatorial enumeration, binary coding system, Quadtree
36	Koshiro Kitao, Shinichi Ichitsubo	Path Loss Prediction Formula for Urban and Suburban Areas for 4G Systems.	VTC Spring	2006	DBLP DOI BibTeX RDF
36	Dana Simian, Corina Simian	Quadrature Formula Based on Interpolating Polynomials: Algorithmic and Computational Aspects.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
36	Robert Bartlett	A Peer-to-Peer Formula Interest Expression Propagation Model for Distributed Virtual Environments.	DS-RT	2005	DBLP DOI BibTeX RDF
35	Grzegorz Rzadkowski, Slawomir Lepkowski	A Generalization of the Euler-Maclaurin Summation Formula: An Application to Numerical Computation of the Fermi-Dirac Integrals.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Generalized Euler-Maclaurin summation formula, Bernoulli polynomials, Bernoulli functions, Fermi-Dirac integrals, Numerical integration, Product integration
35	Shi-Huang Chen, Yaotsu Chang, Jiun-Ching Ruan	An Efficient Computation of LSP Frequencies Using Modified Complex-Free Ferrari Formula.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	line spectrum pair (LSP), line spectral frequency (LSF), linear prediction coefficient (LPC), Ferrari formula, speech processing, Newton method
35	Cheng Han, Guojun Wang, Wenyan Xu	A 16-classification partition of formula set F(S) in revised Kleene system W.	Soft Comput.	2006	DBLP DOI BibTeX RDF	R0-algebra, Truth value domain, K-formula, Nilpotent minimums, Partition
35	Len Bos, Marco Caliari, Stefano De Marchi, Marco Vianello	A Numerical Study of the Xu Polynomial Interpolation Formula in Two Variables.	Computing	2006	DBLP DOI BibTeX RDF	Bivariate polynomial interpolation, Xu points, Lagrange interpolation formula, Lebesgue constant
35	Oleg A. Prokopyev, Panos M. Pardalos	On Approximability of Boolean Formula Minimization.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	minimum formula size problem, minimum circuit size problem, combinatorial optimization, approximation, inapproximability, Boolean formulas, Boolean circuits
35	Raul Mihali, Tarek M. Sobh	The Formula One Tire Changing Robot (F1-T.C.R.).	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	car racing, tire changing, Formula One, robotics, robotic application
34	Isolde Adler, Mark Weyer	Tree-Width for First Order Formulae.	CSL	2009	DBLP DOI BibTeX RDF
34	Uriel Feige	Refuting Smoothed 3CNF Formulas.	FOCS	2007	DBLP DOI BibTeX RDF
34	Marco Pistore, Moshe Y. Vardi	The Planning Spectrum - One, Two, Three, Infinity.	LICS	2003	DBLP DOI BibTeX RDF
34	Youichi Hanatani, Takashi Horiyama, Kazuo Iwama	Density Condensation of Boolean Formulas.	SAT	2003	DBLP DOI BibTeX RDF
34	Alain Couchot	Improving the Refined Triggering Graph Method for Active Rules Termination Analysis.	BNCOD	2002	DBLP DOI BibTeX RDF
34		Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.	CoRR	2018	DBLP BibTeX RDF
34	Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai	Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.	AAAI	2018	DBLP DOI BibTeX RDF
34	Dawei Lu, Lixin Song, Congxu Ma	Some new asymptotic approximations of the gamma function based on Nemes' formula, Ramanujan's formula and Burnside's formula.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
33	Sven Jörges, Tiziana Margaria, Bernhard Steffen	FormulaBuilder: a tool for graph-based modelling and generation of formulae.	ICSE	2006	DBLP DOI BibTeX RDF	formula generation, property specification, specification patterns
33	Stefan Szeider	Generalizations of matched CNF formulas.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	matched formula, deficiency, biclique cover, P 2 -completeness, NP-completeness, bipartite graph, polynomial hierarchy, SAT problem
33	Hiroyasu Obata, Kenji Ishida, Junichi Funasaka, Kitsutaro Amano	TCP Performance Analysis on Asymmetric Networks Composed of Satellite and Terrestrial Links.	ICNP	2000	DBLP DOI BibTeX RDF	satellite ground stations, TCP performance analysis, asymmetric networks, terrestrial links, asymmetric bandwidth, asymmetric delay, evaluation formula, VSAT, very small aperture terminal, asymmetric digital subscriber line, Internet, Internet, throughput, transport protocols, digital simulation, network simulator, ADSL, TCP Reno, satellite links, satellite links, downlink, uplink, slow start, cable modem
33	Masakiyo Miyazawa	Palm calculus for a process with a stationary random measure and its applications to fluid queues.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	Palm probability distribution, stationary random measure, Levy process, rate conservation law, Mecke's formula, Little's formula, sojourn time, single-server queue, fluid queue
32	Kazuki Ashida, Masayuki Okamoto, Hiroki Imai, Tsubasa Nakatsuka	Performance Evaluation of a Mathematical Formula Recognition System with a large scale of printed formula images.	DIAL	2006	DBLP DOI BibTeX RDF
31	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Formula-Dependent Abstraction for CTL Model Checking.	ICCSA (2)	2008	DBLP DOI BibTeX RDF
31	Sophie Laplante, Troy Lee, Mario Szegedy	The Quantum Adversary Method and Classical Formula Size Lower Bounds.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	68Q30, Subject classification. 68Q17
31	Mingcui Zhou, Wentai Liu, Mohanasankar Sivaprakasam	A closed-form delay formula for on-chip RLC interconnects in current-mode signaling.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
31	Sophie Laplante, Troy Lee, Mario Szegedy	The Quantum Adversary Method and Classical Formula Size Lower Bounds.	CCC	2005	DBLP DOI BibTeX RDF
31	Frank J. Trueba, Héctor Guerrero	A robust formula to credit authors for their publications.	Scientometrics	2004	DBLP DOI BibTeX RDF
31	Essam Al-Daoud, Ramlan Mahmod, Mohammad Rushdan, Adem Kiliçman	A New Addition Formula for Elliptic Curves over GF(2n).	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	point addition, projective coordinates, Public-key cryptography, elliptic curves, scalar multiplication
31	Ge Wang 0001, Tein-Hsiang Lin, Ping-chin Cheng	A derivative-free noncircular fan-beam reconstruction formula.	IEEE Trans. Image Process.	1993	DBLP DOI BibTeX RDF
30	Xuedong Tian, Fei Wang, Xiaoyu Liu	An Improved Method of Formula Structural Analysis.	RSKT	2008	DBLP DOI BibTeX RDF	Formula recognition, Converse Matching, Structural analysis, Baseline
30	Jean-Paul Berrut	A formula for the error of finite sinc-interpolation over a finite interval.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Sinc-interpolation, Infinitely differentiable approximation scheme, Equidistant interpolation on the interval, Error formula
30	Jean-François Dufourd	A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula.	SAC	2007	DBLP DOI BibTeX RDF	Coq system, Euler's formula, computer-aided proofs, computer-aided proofs in computational topology, genus theorem, hypermaps, formal specifications, subdivisions
30	Sergei A. Abramov, M. Petkovssek	Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula.	ISSAC	2005	DBLP DOI BibTeX RDF	Gosper's algorithm, Newton-Leibniz formula, accurate summation algorithm, symbolic summation
30	Stephane Lavirotte	Optical Formula Recognition.	ICDAR	1997	DBLP DOI BibTeX RDF	Formula Recognition, Optical Character Recognition, Graph Grammar, Graph Rewriting, Document Understanding, Document Recognition
29	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais	Computing Horn Strong Backdoor Sets Thanks to Local Search.	ICTAI	2006	DBLP DOI BibTeX RDF
29	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
29	Kiminori Iriyama	Probability of error for the fixed-length lossy coding of general sources.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
29	Marsha Chechik, Arie Gurfinkel	TLQSolver: A Temporal Logic Query Checker.	CAV	2003	DBLP DOI BibTeX RDF
29	Tetsuya Izu, Tsuyoshi Takagi	Exceptional Procedure Attack on Elliptic Curve Cryptosystems.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF	exceptional procedure attack, exceptional point, side channel attack, Elliptic curve cryptosystem (ECC), scalar multiplication
29	Luca Pretto	A Theoretical Analysis of Google's PageRank.	SPIRE	2002	DBLP DOI BibTeX RDF	IR and Web, Link-based analysis, Markov chains, Ranking, PageRank, Information retrieval (IR)
29	Yoav Rodeh, Ofer Strichman	Finite Instantiations in Equivalence Logic with Uninterpreted Functions.	CAV	2001	DBLP DOI BibTeX RDF
29	Aijun An, Nick Cercone	Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach.	ISMIS	2000	DBLP DOI BibTeX RDF
29	Kousha Etessami, Moshe Y. Vardi, Thomas Wilke	First-Order Logic with Two Variables and Unary Temporal Logic.	LICS	1997	DBLP DOI BibTeX RDF
29	Bernhard Josko	Modelchecking of CTL Formulae under Liveness Assumptions.	ICALP	1987	DBLP DOI BibTeX RDF
29	Dale Miller 0001	Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs.	CADE	1984	DBLP DOI BibTeX RDF	Expansion Trees, ET-proofs, Matings, Higher-order Logic, Natural Deduction
29	Villy Bæk Iversen, Vilius Benetis, Peter D. Hansen	Performance of Hierarchical Cellular Networks with Overlapping Cells.	EuroNGI Workshop	2004	DBLP DOI BibTeX RDF	cell breathing, direct routing, Erlang-B formula, multi-rate services, cellular networks, blocking, hierarchical cellular networks
29	Juan Frausto Solís, Marco Antonio Cruz-Chavez	A Reduced Codification for the Logical Representation of Job Shop Scheduling Problems.	ICCSA (4)	2004	DBLP DOI BibTeX RDF	the propositional satisfiability problem (SAT), Latest starting time, SAT formula, Job shop scheduling
29	Yasubumi Sakakibara	DNA-based algorithms for learning Boolean formulae.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	population computation, weighted majority, DNA computing, massively parallel, Boolean formula, computational learning
29	Olivier Billet, Marc Joye	The Jacobi Model of an Elliptic Curve and Side-Channel Analysis.	AAECC	2003	DBLP DOI BibTeX RDF	unified addition formula, SPA-like attacks, smart cards, elliptic curve cryptosystems, side-channel analysis
29	Toru Akishita, Tsuyoshi Takagi	Zero-Value Point Attacks on Elliptic Curve Cryptosystem.	ISC	2003	DBLP DOI BibTeX RDF	addition formula, zero-value register, side channel attack, differential power analysis, elliptic curve cryptosystem
29	Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed	Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Mathematic formula extraction, Symbol labeling, Context propagation, Fuzzy logic, Document segmentation
29	Tien-Chen Ho, Shang-Juh Kao	A New Performance Analysis Model of the Local Switching System.	COMPSAC	1997	DBLP DOI BibTeX RDF	local switching system, Erlang B formula, queueing model, loss probability
29	Richard Beigel, Bin Fu	Circuits Over PP and PL.	CCC	1997	DBLP DOI BibTeX RDF	reduction, oracle, circuit, closure, PL, Boolean formula, AC, NC, PP
29	Joseph Abate, Ward Whitt	The Fourier-series method for inverting transforms of probability distributions.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Computational probability, numerical inversion of transforms, calculating tail probabilities, Poisson summation formula, the Fourier-series method, the Gaver-Stehfest method, Fourier transforms, numerical integration, generating functions, Fourier series, characteristic functions, Laplace transforms, cumulative distribution functions
29	Shyh-Kwei Chen, Wei-Tek Tsai, Bhavani M. Thuraisingham	Recovery Point Selection on a Reverse Binary Tree Task Model.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	performance computation procedure, computation time minimization, recovery point selection, reverse binary tree task model, arbitrary reverse tree model, optimal placement algorithm, closed form formula, recovery point placement problem, computational complexity, fault tolerant computing, multiprocessing systems, multiprocessor systems, trees (mathematics), communication delays, closed form solution, uniprocessor systems
28	Dwijesh Dutta Majumder, Rupak Bhattacharyya, Supratim Mukherjee	Methods of Evaluation and Extraction of Membership Functions - Review with a New Approach.	ICCTA	2007	DBLP DOI BibTeX RDF	Determination of Membership Function, Modified Lagrange's Interpolation Formula, Modified Newton's divided difference Formula, Risk Factor, Fuzzy Membership Function
28	Alain Le Méhauté	On some aspects of multivariate polynomial interpolation.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	Lagrange formula, Newton formula, Aitken-type algorithm, Abel interpolation, Hermite interpolation, multivariate interpolation
28	Masakiyo Miyazawa, Yoshitaka Takahashi	Rate conservation principle for discrete-time queues.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Stationary point process, Palm distribution, rate conservation principle, ASTA, Little's formula, Brumelle's formula, discrete-time queues
28	Ward Whitt	A review of L=lambda W and extensions.	Queueing Syst. Theory Appl.	1991	DBLP DOI BibTeX RDF	L=W, Little's law, time averages and customer averages, sample-path methods, stationary marked point processes, H=G, the inversion formula, Campbell's formula, central limit, indirect estimation, conservation laws, conservation law, rate, limit theorems, level crossings, theorems
26	Yuichiro Goto, Akihiro Yamakita, Fumiaki Maehara	Simple Series Form Formula of BER Performance of M-ary QAM/OFDM Signals Over Nonlinear Fading Channels.	MCSS	2009	DBLP DOI BibTeX RDF
26	Jianer Chen, Yang Liu 0002	An Improved SAT Algorithm in Terms of Formula Length.	WADS	2009	DBLP DOI BibTeX RDF
26	Y. C. Wei, C. C. Liu, M. C. Lo	A Modified Development of CIE Color Difference Formula via Polynomial Regression Approaches.	CSSE (6)	2008	DBLP DOI BibTeX RDF
26	Takayuki Sato, Kazuyuki Amano, Eiji Takimoto, Akira Maruoka	Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments.	COCOON	2008	DBLP DOI BibTeX RDF
26	Elías Berriochoa, Alicia Cachafeiro, Francisco Marcellán	A new numerical quadrature formula on the unit circle.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 33C47, 42C05, 65D30
26	Andris Ambainis, Andrew M. Childs, Ben Reichardt, Robert Spalek, Shengyu Zhang	Any AND-OR Formula of Size N can be Evaluated in time N1/2+o(1) on a Quantum Computer.	FOCS	2007	DBLP DOI BibTeX RDF
26	Zhongmin Xiong, Wei Wang 0009, Jian Pei	Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
26	Troy Lee	A New Rank Technique for Formula Size Lower Bounds.	STACS	2007	DBLP DOI BibTeX RDF
26	Min Hu, Weiming Sun	MHC Regulation Based Immune Formula Discovering Algorithm (IFDA).	GrC	2007	DBLP DOI BibTeX RDF
26	Seiichi Toyota, Seiichi Uchida, Masakazu Suzuki	Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
26	Trevor Sweeting, Samer Kharroubi	Application of a predictive distribution formula to Bayesian computation for incomplete data models.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	Laplace approximation, predictive distribution, simulation, importance sampling, missing data, latent variables, asymptotic approximation, Metropolis-Hastings, data augmentation, Bayesian computation
26	Cheng-Shang Chang, Duan-Shin Lee, Chao-Lin Yu	Generalization of the Pollaczek-Khinchin formula for throughput analysis of input-buffered switches.	INFOCOM	2005	DBLP DOI BibTeX RDF
26	Maxim S. Finkelstein	On the exponential formula for reliability.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
26	Morihito Miyagi, Keiko Ohkubo, Mikio Kataoka, Satoshi Yoshizawa	Performance prediction method for Web-access response time distribution using formula.	NOMS (1)	2004	DBLP DOI BibTeX RDF
26	Ron Andrews, Stanislaw Bajcar, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe, Chris Whiteley	Optimization of the ABCD Formula for Melanoma Diagnosis Using C4.5, a Data Mining System.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
26	Akira Ushijima	The Tilt Formula for Generalized Simplices in Hyperbolic Space.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
26	Pavel Makagonov, Mikhail Alexandrov	Empirical Formula for Testing Word Similarity and Its Application for Constructing a Word Frequency List.	CICLing	2002	DBLP DOI BibTeX RDF
26	Danny De Vleeschauwer, Guido H. Petit, Bart Steyaert, Sabine Wittevrongel, Herwig Bruneel	An Accurate Closed-Form Formula to Calculate the Dejittering Delay in Packetised Voice Transport.	NETWORKING	2000	DBLP DOI BibTeX RDF
25	Chen Long, Huang Chen	Comparative Study between the Magic Formula and the Neural Network Tire Model Based on Genetic Algorithm.	IITSI	2010	DBLP DOI BibTeX RDF	Magic Formula, combined tyre force, genetic algorithm, Neural Networks (ANN), Artificial
25	Federsel Stephan, Klaus Miesenberger	Chemical Workbench for Blind People - Accessing the Structure of Chemical Formula.	ICCHP	2008	DBLP DOI BibTeX RDF	structure of chemical formula, navigate, chemistry, blind people
25	Dipankar Sarkar 0001, S. C. De Sarkar	A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
25	Zahari Zlatev	Consistency and convergence of general linear multistep variable stepsize variable formula methods.	Computing	1983	DBLP DOI BibTeX RDF	linear multistep formulae, variable stepsize variable formula methods, order of the method, zero-stability, convegence, one-leg methods, predictor-corrector schemes, consistency, Ordinary differential equations, numerical solution, initial value problems
24	Patrice Godefroid, Nir Piterman	LTL Generalized Model Checking Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF