|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3340 occurrences of 2103 keywords
|
|
|
Results
Found 6326 publication records. Showing 6326 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, Singapore, May 23-26, 2006, pp. 111-118, 2006, IEEE Computer Society, 0-7695-2587-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Jan P. Grzymala-Busse, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe |
Melanoma Prediction Using Data Mining System LERS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 615-620, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings, pp. 538-545, 2002, Springer, 3-540-44274-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 469-481, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Gilles Audemard, Lakhdar Sais |
Circuit Based Encoding of CNF Formula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 16-21, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Stefan Porschen |
A CNF Formula Hierarchy over the Hypercube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 234-243, 2007, Springer, 978-3-540-76926-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2003, 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings, pp. 93-110, 2003, Springer, 3-540-20592-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 251-260, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 103-112, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT (Selected Papers ![In: Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 251-262, 2004, Springer, 3-540-27829-X. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 454-465, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 659-666, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 212-225, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic versus Approximation ![In: Logic versus Approximation, Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday, pp. 18-32, 2004, Springer, 3-540-22562-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science II, pp. 84-99, 2008, Springer, 978-3-540-87562-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings, pp. 79-88, 2008, Springer, 978-3-540-69310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-8, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Shyh-Kwei Chen |
An Exact Closed-Form Formula for d-Dimensional Quadtree Decomposition of Arbitrary Hyperrectangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(6), pp. 784-798, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 2911-2915, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Dana Simian, Corina Simian |
Quadrature Formula Based on Interpolating Polynomials: Algorithmic and Computational Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Methods and Applications ![In: Numerical Methods and Applications, 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers, pp. 419-426, 2006, Springer, 978-3-540-70940-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Robert Bartlett |
A Peer-to-Peer Formula Interest Expression Propagation Model for Distributed Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 10-12 October 2005, Montreal, Canada, pp. 113-119, 2005, IEEE Computer Society, 0-7695-2462-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 35(1), pp. 63-74, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 52(2), pp. 153-163, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(2), pp. 115-118, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 76(3-4), pp. 311-324, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 8(2), pp. 129-135, 2004. The full citation details ...](Pics/full.jpeg) |
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.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 27(1-2), pp. 171-193, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 71-85, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Uriel Feige |
Refuting Smoothed 3CNF Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 407-417, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Marco Pistore, Moshe Y. Vardi |
The Planning Spectrum - One, Two, Three, Infinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 234-243, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Youichi Hanatani, Takashi Horiyama, Kazuo Iwama |
Density Condensation of Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 69-77, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Alain Couchot |
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, July 17-19, 2002, Proceedings, pp. 114-133, 2002, Springer, 3-540-43905-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | |
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.11304, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, pp. 1835-1844, 2018, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 253, pp. 1-7, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Sven Jörges, Tiziana Margaria, Bernhard Steffen |
FormulaBuilder: a tool for graph-based modelling and generation of formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 815-818, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formula generation, property specification, specification patterns |
33 | Stefan Szeider |
Generalizations of matched CNF formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 43(1), pp. 223-238, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 199-208, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 17(1-2), pp. 183-211, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL ![In: Second International Workshop on Document Image Analysis for Libraries (DIAL 2006), 27-28 April 2006, Lyon, France, pp. 320-331, 2006, IEEE Computer Society, 0-7695-2531-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu |
Formula-Dependent Abstraction for CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II, pp. 1035-1048, 2008, Springer, 978-3-540-69840-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Sophie Laplante, Troy Lee, Mario Szegedy |
The Quantum Adversary Method and Classical Formula Size Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 15(2), pp. 163-196, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 1082-1085, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Sophie Laplante, Troy Lee, Mario Szegedy |
The Quantum Adversary Method and Classical Formula Size Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 20th Annual IEEE Conference on Computational Complexity (CCC 2005), 11-15 June 2005, San Jose, CA, USA, pp. 76-90, 2005, IEEE Computer Society, 0-7695-2364-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Frank J. Trueba, Héctor Guerrero |
A robust formula to credit authors for their publications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 60(2), pp. 181-204, 2004. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(8), pp. 972-975, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 2(4), pp. 543-547, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Xuedong Tian, Fei Wang, Xiaoyu Liu |
An Improved Method of Formula Structural Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 692-699, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 45(1-4), pp. 369-374, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 757-761, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 5-12, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Gosper's algorithm, Newton-Leibniz formula, accurate summation algorithm, symbolic summation |
30 | Stephane Lavirotte |
Optical Formula Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 357-361, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 139-143, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Gábor Kusper |
Solving the resolution-free SAT problem by submodel propagation in linear time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 43(1), pp. 129-136, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(4), pp. 1498-1507, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Marsha Chechik, Arie Gurfinkel |
TLQSolver: A Temporal Logic Query Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, pp. 210-214, 2003, Springer, 3-540-40524-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Tetsuya Izu, Tsuyoshi Takagi |
Exceptional Procedure Attack on Elliptic Curve Cryptosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2003, 6th International Workshop on Theory and Practice in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003, Proceedings, pp. 224-239, 2003, Springer, 3-540-00324-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: String Processing and Information Retrieval, 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002, Proceedings, pp. 131-144, 2002, Springer, 3-540-44158-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 144-154, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Aijun An, Nick Cercone |
Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings, pp. 119-129, 2000, Springer, 3-540-41094-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Kousha Etessami, Moshe Y. Vardi, Thomas Wilke |
First-Order Logic with Two Variables and Unary Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 228-235, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Bernhard Josko |
Modelchecking of CTL Formulae under Liveness Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings, pp. 280-289, 1987, Springer, 3-540-18088-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
29 | Dale Miller 0001 |
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings, pp. 375-393, 1984, Springer, 3-540-96022-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroNGI Workshop ![In: Wireless Systems and Mobility in Next Generation Internet, First International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9, 2004, Revised Selected Papers, pp. 7-19, 2004, Springer, 3-540-25329-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV, pp. 553-562, 2004, Springer, 3-540-22060-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 2(2), pp. 153-171, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings, pp. 34-42, 2003, Springer, 3-540-40111-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings, pp. 218-233, 2003, Springer, 3-540-20176-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 4(2), pp. 97-108, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 130-136, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997, pp. 24-35, 1997, IEEE Computer Society, 0-8186-7907-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 10(1-2), pp. 5-87, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(8), pp. 963-976, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCTA ![In: 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India, pp. 277-281, 2007, IEEE Computer Society, 978-0-7695-2770-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 12(4), pp. 311-333, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 12(3-4), pp. 215-229, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 9(3), pp. 235-268, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCSS ![In: Multi-Carrier Systems & Solutions 2009, Proceedings from the 7th International Workshop on Multi-Carrier Systems & Solutions, May 2009, Herrsching, Germany, pp. 281-290, 2009, Springer, 978-90-481-2529-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jianer Chen, Yang Liu 0002 |
An Improved SAT Algorithm in Terms of Formula Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings, pp. 144-155, 2009, Springer, 978-3-642-03366-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (6) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 6: Graphic Communication / Other Applications, December 12-14, 2008, Wuhan, China, pp. 26-29, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings, pp. 191-203, 2008, Springer, 978-3-540-69732-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Elías Berriochoa, Alicia Cachafeiro, Francisco Marcellán |
A new numerical quadrature formula on the unit circle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 44(4), pp. 391-401, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 363-372, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Zhongmin Xiong, Wei Wang 0009, Jian Pei |
Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 281-292, 2007, Springer, 978-3-540-72483-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Troy Lee |
A New Rank Technique for Formula Size Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings, pp. 145-156, 2007, Springer, 978-3-540-70917-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Min Hu, Weiming Sun |
MHC Regulation Based Immune Formula Discovering Algorithm (IFDA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 605-610, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Seiichi Toyota, Seiichi Uchida, Masakazu Suzuki |
Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: Document Analysis Systems VII, 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings, pp. 153-163, 2006, Springer, 3-540-32140-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Trevor Sweeting, Samer Kharroubi |
Application of a predictive distribution formula to Bayesian computation for incomplete data models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 15(3), pp. 167-178, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 960-970, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Maxim S. Finkelstein |
On the exponential formula for reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 53(2), pp. 265-268, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS (1) ![In: Managing Next Generation Convergence Networks and Services, IEEE/IFIP Network Operations and Management Symposium, NOMS 2004, Seoul, Korea, 19-23 April 2004, Proceedings, pp. 905-906, 2004, IEEE, 0-7803-8230-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 630-636, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Akira Ushijima |
The Tilt Formula for Generalized Simplices in Hyperbolic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 28(1), pp. 19-27, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002, Proceedings, pp. 425-432, 2002, Springer, 3-540-43219-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKING ![In: NETWORKING 2000, Broadband Communications, High Performance Networking, and Performance of Communication Networks, IFIP-TC6 / European Commission International Conference, Paris, France, May 14-19, 2000, Proceedings, pp. 374-385, 2000, Springer, 3-540-67506-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITSI ![In: Third International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2010, Jinggangshan, China, April 2-4, 2010, pp. 280-284, 2010, IEEE Computer Society, 978-0-7695-4020-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 953-960, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1368-1381, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 31(1), pp. 47-67, 1983. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 89-104, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 6326 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|