|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5949 occurrences of 3672 keywords
|
|
|
Results
Found 12042 publication records. Showing 12042 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Alexandre Goldsztejn |
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 79(1), pp. 53-60, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
existence test, interval analysis, Nonlinear systems of equations |
64 | Petr Hájek 0001 |
Ontological Proofs of Existence and Non-Existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(2), pp. 257-262, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ontological proofs, non-existence, Gödel, Caramuel, existence |
55 | Monique Snoeck, Guido Dedene |
Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(4), pp. 233-251, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
existence dependency, Software engineering, composition, conceptual model, aggregation, quality, object-oriented analysis, consistency checking |
40 | Igal Milchtaich |
The Equilibrium Existence Problem in Finite Network Congestion Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings, pp. 87-98, 2006, Springer, 3-540-68138-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
heterogeneous users, existence of equilibrium, network topology, Congestion games |
40 | Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg |
Preventing existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 162-173, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
knowledge representation, existence, natural language semantics |
40 | Varsha Mainkar, Kishor S. Trivedi |
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(9), pp. 640-653, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Stochastic Petri nets, sufficient conditions, fixed-point iteration, existence |
36 | Jian-Wen Peng |
A novel proof of the existence of solutions for a new system of generalized mixed quasi-variational-like inclusions involving ( A , eta , m )-accretive operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(4), pp. 559-575, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
System of generalized mixed quasi-variational-like inclusions, (A, ?, m)-accretive operator, Relaxed cocoercive mapping, Fixed point theorem, Existence |
36 | Matthias Baaz, Rosalie Iemhoff |
On Interpolation in Existence Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 697-711, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
36 | John G. Cleary, Lunjin Lu |
Constructive Negation Using Typed Existence Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP/ALP ![In: Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, pp. 411-426, 1998, Springer, 3-540-65012-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
existence properties, type system, constructive negation |
33 | Ole Caprani, Kaj Madsen, Ole Stauning |
Existence Test for Asynchronous Interval Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 3(3), pp. 269-275, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
32 | George Isac, Sándor Zoltán Németh |
The non-existence of a regular exceptional family of elements. A necessary and sufficient condition. Applications to complementarity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(3), pp. 359-368, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Non-existence of a regular exceptional family of elements, Complementarity problems |
32 | Bui Trong Kien, Jen-Chih Yao, Nguyen Dong Yen |
On the solution existence of pseudomonotone variational inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 41(1), pp. 135-145, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Generalized variational inequality, Pseudomonotone operator, Solution existence, Degree theory, Variational inequality |
32 | Sándor Imre |
Quantum Existence Testing and Its Application for Finding Extreme Values in Unsorted Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(5), pp. 706-710, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
quantum existence testing, Search, counting |
32 | Matthias Baaz, Rosalie Iemhoff |
Gentzen Calculi for the Existence Predicate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 7-23, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
32 | Xiangpeng Jing, Dipankar Raychaudhuri |
Spectrum Co-existence of IEEE 802.11b and 802.16a Networks Using Reactive and Proactive Etiquette Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 11(4), pp. 539-554, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Spectrum etiquette protocol, CSCC, Co-existence, Cognitive radio, Dynamic spectrum access |
32 | Vyacheslav M. Abramov, Robert Sh. Liptser |
On Existence of Limiting Distribution for Time-Nonhomogeneous Countable Markov Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 46(3-4), pp. 353-361, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
countable Markov process, existence of the limiting distribution, birth-and-death process |
29 | Yannis A. Korilis, Aurel A. Lazar |
On the Existence of Equilibria in Noncooperative Optimal Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(3), pp. 584-613, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
game theory, flow control, fixed points, Nash equilibria |
29 | T. C. Chiang |
A new look at existence dependency in databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1983 National Computer Conference, 16-19 May 1983, Anaheim, California, USA, pp. 387-393, 1983, AFIPS Press, 0-88283-039-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
28 | Kentaro Fujiwara, Kaname Harumoto, Yuuichi Teranishi, Toyokazu Akiyama, Susumu Takeuchi, Shojiro Nishio |
A Self-Localization Method Using Propagation of Existence Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: Tenth Annual International Symposium on Applications and the Internet, SAINT 2010, Seoul, Korea, 19-23 July, 2010, Proceedings, pp. 201-204, 2010, IEEE Computer Society, 978-1-4244-7526-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Existence probability, RSSI, Self-localization |
28 | Hajime Ishihara |
Unique Existence and Computability in Constructive Reverse Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 368-377, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
unique existence, Brouwer’s fan theorem, weak König lemma, computability, constructive mathematics, reverse mathematics |
28 | Oded Goldreich 0001, Hugo Krawczyk, Michael Luby |
On the Existence of Pseudorandom Generators (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 12-24, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
pseudorandom generators existence, regular functions, k-bit string, decoding, one-way functions, linear codes |
28 | Sung Je Hong |
Existence Algorithms for Synchronizing/Distinguishing Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(3), pp. 234-237, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
tree method, existence algorithm, successor tree, finite-state machine, Distinguishing sequence, synchronizing sequence, state-identification |
27 | Pham Huu Sach, Le Anh Tuan 0001 |
Generalizations of vector quasivariational inclusion problems with set-valued maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 43(1), pp. 23-45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quasivariational inclusion problem, Set-valued map, Existence theorem, Pseudomonotonicity, Generalized concavity |
27 | George Isac, Sándor Zoltán Németh |
Regular exceptional family of elements with respect to isotone projection cones in Hilbert spaces and complementarity problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(4), pp. 567-576, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Non-existence of a regular exceptional family of elements, Isotone projection cones, Complementarity problems |
27 | Giangiacomo Gerla |
Multivalued Logic to Transform Potential into Actual Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(1), pp. 69-87, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Potential existence, point-free geometry, multi-valued logic, infinity |
27 | Vyacheslav Kalashnikov, George Isac |
Solvability of Implicit Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 116(1-4), pp. 199-221, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
implicit complementarity problem, exceptional families, existence alternatives, continuous selections |
27 | Emmanuel Prados, Olivier D. Faugeras, Elisabeth Rouy |
Shape from Shading and Viscosity Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2002, 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part II, pp. 790-804, 2002, Springer, 3-540-43744-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
existence and uniqueness of a solution, dynamic programming principle, approximation and numerical schemes, Shape from Shading, viscosity solutions, Hamilton-Jacobi equations |
27 | Hongchuan Yu, Dejun Wang, Zesheng Tang |
Level Set Methods and Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIAR ![In: Medical Imaging and Augmented Reality: First International Workshop, MIAR 2001, Hong Kong, China, June 10-12, 2001. Proceedings, pp. 204-, 2001, IEEE Computer Society, 0-7695-1113-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Existence and uniqueness, Image segmentation, Level set methods, Distance function |
27 | Viggo Stoltenberg-Hansen, John V. Tucker |
Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 531-562, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Inverse limits of algebras, ultrametric algebras, infinite systems of equations, existence and uniqueness theorems, synchronous concurrent algorithms, infinitely parallel deterministic systems, streams, domains |
25 | Dieter Hutter |
Synthesis of Induction Orderings for Existence Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 29-41, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Yan Li |
Evolution Differential Systems with Impulse and Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 532-541, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Evolution differential systems, Delays, Impulses, Existence |
23 | Junhao Hu, Huafeng Chen |
Neutral Differential Systems with Impulse and Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 512-521, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Neutral differential systems, Delays, Impulses, existence |
23 | Le Dung Muu, V. H. Nguyen, N. V. Quy |
On Nash-Cournot oligopolistic market equilibrium models with concave cost functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 41(3), pp. 351-364, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nonconvex Nash-Cournot model, Concave cost, Existence of solution, Algorithm, Equilibrium, Variational inequality |
23 | Tomasz Klajbor, Józef Wozniak |
Interference aware Bluetooth scatternet (re)configuration algorithm IBLUEREA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 38(1-2), pp. 29-35, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Co-existence, Bluetooth, Interference, IEEE 802.11b |
23 | Bao Rong Chang, Hsiu Fen Tsai |
Performance Evaluation of Three Kinds of Quantum Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings, pp. 224-233, 2007, Springer, 978-3-540-74580-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
quantum minimization, neuromprphic quantum-based optimization, logarithmic search with quantum existence testing |
23 | Peter Burmeister |
Algebraic theory of quasivarieties of heterogeneous partial algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(1-2), pp. 129-153, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
heterogeneous partial algebra, existence equation (E-equation), QE-equation, strong equation, logical (Craig) projection, extended signature, implicational theory, algebraic closure operators, primitive class, quasiprimitive class, quasivariety |
23 | Anatoly Prihozhy, Daniel Mlynek, Michail Solomennik, Marco Mattavelli |
Techniques for Optimization of Net Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 22-25 September 2002, Warsaw, Poland, pp. 211-216, 2002, IEEE Computer Society, 0-7695-1730-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
net algorithm, existence problem, optimization, parallelization, critical path |
23 | Peter Schuster |
Elementary Choiceless Constructive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 512-526, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Countable Choice, Unique Existence, Intermediate Values, Connectedness 2000 MSC. Primary 03F60, Secondary 03E25, 26A15, 26E40, 54D05, 54E35, Constructive Mathematics, Approximate Analysis |
23 | Scott A. Mitchell |
A Characterization of the Quadrilateral Meshes of a Surface Which Admit a Compatible Hexahedral Mesh of the Enclosed Volume. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, pp. 465-476, 1996, Springer, 3-540-60922-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hexahedral mesh generation, Computational Geometry, existence |
23 | Nir Katzir, Michael Lindenbaum, Moshe Porat |
Curve Segmentation Under Partial Occlusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(5), pp. 513-519, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
2-D shape boundary segmentation, partially occluded object recognition, smooth boundary curve, similarity transformation invariance, intersection point existence conditions, image segmentation, transforms, image recognition, gray level images, partial occlusion, curve segmentation |
21 | Sven Kosub |
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(3), pp. 487-505, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithms and complexity, fixed points, Discrete dynamical systems |
21 | Yiannis S. Boutalis, Theodore L. Kottas, Manolis A. Christodoulou |
On the existence and uniqueness of solutions for the concept values in Fuzzy Cognitive Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 98-104, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Abraham Miliotis, William L. Ditto, Sudeshna Sinha |
Exploiting Nonlinear Dynamics to Search for the Existence of Matches in a Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 1843-1846, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | April Rasala, Clifford Stein 0001, Eric Torng, Patchrawat Uthaisombut |
Existence theorems, lower bounds and algorithms for scheduling to meet two objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, January 6-8, 2002, San Francisco, CA, USA., pp. 723-731, 2002, ACM/SIAM, 0-89871-513-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | Akihiro Yamamoto |
New Conditions for the Existence of Least Generalizations under Relative Subsumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, pp. 253-264, 2000, Springer, 3-540-67795-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Ivan Damgård, Torben P. Pedersen, Birgit Pfitzmann |
On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '93, 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993, Proceedings, pp. 250-265, 1993, Springer, 3-540-57766-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Ivan Damgård |
On the Existence of Bit Commitment Schemes and Zero-Knowledge Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '89, 9th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 1989, Proceedings, pp. 17-27, 1989, Springer, 3-540-97317-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Ketan Mulmuley |
The Mechanization of Existence Proofs of Recursive Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings, pp. 460-475, 1984, Springer, 3-540-96022-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
20 | Shigemasa Takai, Toshimitsu Ushio |
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(2), pp. 257-278, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Timed discrete event system, Forcible event, Supervisory control, Partial observation |
20 | Phokion G. Kolaitis, Jonathan Panttaja, Wang Chiew Tan |
The complexity of data exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 30-39, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
database dependencies, complexity, data exchange, schema mappings, heterogenous databases, undecidability, data translation |
19 | Zhenjiang Li, J. J. Garcia-Luna-Aceves |
Finding multi-constrained feasible paths by using depth-first search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 13(3), pp. 323-334, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multi-constrained path selection, Success ratio, Existence percentage, Competitive ratio, Depth-first search |
19 | Yueh-Hsuan Weng, Chien-Hsun Chen, Chuen-Tsai Sun |
The legal crisis of next generation robots: on safety intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, USA, pp. 205-209, 2007, ACM, 978-1-59593-680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
human-robot co-existence society, robot intelligence, robot law, safety engineering, safety intelligence |
19 | Tomasz Klajbor, Józef Wozniak |
Interference Aware Bluetooth Scatternet (Re)configuration Algorithm IBLUEREA. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PWC ![In: Personal Wireless Communications, The 12th IFIP International Conference on Personal Wireless Communications (PWC 2007), Prague, Czech Republic, September 2007, pp. 145-156, 2007, Springer, 978-0-387-74158-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IEEE 802.1 lb, co-existence, Bluetooth, interference |
19 | Peter Schuster 0001 |
Problems as Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 676-684, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
uniform continuity, unique existence, countable choice, completeness, Metric spaces, constructive mathematics |
19 | János Barát, Alberto Del Fra, Stefano Innamorati, Leo Storme |
Minimal Blocking Sets in PG(2, 8) and Maximal Partial Spreads in PG(3, 8). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 31(1), pp. 15-26, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
finite projective plane, partial spread, non-existence, blocking set |
19 | Habib Ammari, Gang Bao |
Maxwell's Equations in a Perturbed Periodic Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 16(2-3), pp. 99-112, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
perturbed periodic structures, integral representation, existence and uniqueness, near-field optics, Maxwell's equations |
19 | Yasuyuki Yanagida, Taro Maeda, Susumu Tachi |
A Method of Constructing a Telexistence Visual System Using Fixed Screens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: Virtual Reality 2000 Conference, VR'00, New Brunswick, New Jersey, USA, March 18-22, 2000, Proceedings, pp. 117-124, 2000, IEEE Computer Society, 0-7695-0478-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
telexistence (tele-existence), immersive projection technology, head-tracked display, off-axis projection |
19 | Yuko Murayama |
Configuration Detection as a Problem of Knowledge Discovery in Computer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, Kiawah Island, South Carolina, USA, June 24-27, 1997, Sponsored by IFCIS, The Intn'l Foundation on Cooperative Information Systems, pp. 47-55, 1997, IEEE Computer Society, 0-8186-7946-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
configuration detection, network object existence, network object location, network configuration knowledge maintenance, scale problem, management domain partitioning, network address authorisation, network-level threats, security technique, address resolution, data mining, knowledge discovery, computer networks, configuration management, routers, inconsistency, internetworking, dynamic learning, invalidity, hosts |
19 | Mary Beth Rosson, John M. Carroll 0001 |
The Reuse of Uses in Smalltalk Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 3(3), pp. 219-253, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
debugging into existence, reuse of uses, usage context, Smalltalk, example-based learning |
19 | Noga Alon |
A parallel algorithmic version of the Local Lemma ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 586-593, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
algorithmic search problems, positive probability, existence proofs, deterministic NC/sup 1/ algorithms, parallel algorithms, Lovasz local lemma |
18 | Christian Mancas |
On Enforcing Existence and Non-Existence Constraints in MatBase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.14726, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Michael Q. Rieck |
Geometric Conditions for the Existence or Non-existence of a Solution to the Perspective 3-Point Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Imaging Vis. ![In: J. Math. Imaging Vis. 66(1), pp. 75-91, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Bimal Mandal, Subhamoy Maitra, Pantelimon Stanica |
On the existence and non-existence of some classes of bent-negabent functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 33(3), pp. 237-260, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Lilian Salinas, Luis Gómez, Julio Aracena |
Existence and Non Existence of Limit Cycles in Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata and Complexity ![In: Automata and Complexity - Essays Presented to Eric Goles on the Occasion of His 70th Birthday, pp. 233-252, 2022, Springer, 978-3-030-92550-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | David Y. Oshima |
The Semantic Markedness of the Japanese Negative Preterite: Non-existence of (Positive) Eventualities vs. Existence of Negative Eventualities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LENLS ![In: Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers, pp. 31-50, 2022, Springer, 978-3-031-43976-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Johannes Himmelreich |
Existence, really? Tacit disagreements about "existence" in disputes about group minds and corporate agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(5), pp. 4939-4953, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Christopher Duffy 0001, Sonja Linghui Shan |
On the existence and non-existence of improper homomorphisms of oriented and $2$-edge-coloured graphs to reflexive targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Theor. Comput. Sci. ![In: Discret. Math. Theor. Comput. Sci. 23(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Liejun Shen |
Existence and non-existence results for quasilinear Kirchhoff problems with the Hardy-Sobolev exponent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 76(8), pp. 1923-1937, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Sophie Huczynska, Maura B. Paterson |
Existence and non-existence results for strong external difference families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 341(1), pp. 87-95, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Dumas |
Existence de solutions pour des équations apparentées au 1 Laplacien anisotrope. (Existence of solutions for equations relative to 1 Laplacian anisotropic). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
18 | Dongdong Qin, Jing Chen, Xianhua Tang |
Existence and non-existence of nontrivial solutions for Schrödinger systems via Nehari-Pohozaev manifold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 74(12), pp. 3141-3160, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Lise Rodier |
Existence et calcul distribué d'équilibres dans des jeux de congestion généralisés. (Existence and distributed computation of equilibria in generalized congestion games). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
18 | Sofia Moroni, Jeroen M. Swinkels |
Existence and non-existence in the moral hazard problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 150, pp. 668-682, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Dragos-Patru Covei |
Existence and non-existence of solutions for an elliptic system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 37, pp. 118-123, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Gregory Z. Gutin, Mark Jones 0001 |
Note on Existence and Non-Existence of Large Subsets of Binary Vectors with Similar Distances ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1202.6260, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Handan Borluk, Hüsnü Ata Erbay, Saadet Erbay |
Non-existence and existence of localized solitary waves for the two-dimensional long-wave-short-wave interaction equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 23(4), pp. 356-360, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Siguna Müller |
On the existence and non-existence of elliptic pseudoprimes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 79(270), pp. 1171-1190, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Colin Maclachlan |
Existence and Non-Existence of Torsion in Maximal Arithmetic Fuchsian Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Groups Complex. Cryptol. ![In: Groups Complex. Cryptol. 1(2), pp. 287-295, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Yuka Obu, Masahiro Miyata, Juyeon Choe, Katsumi Terakado, Tatsuhiro Yonekura |
The Existence Proof Service of the web Pages - New Web Service to Get Grounds of the Existence of the Web Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST ![In: WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies, Lisbon, Portugal, March 23-26, 2009, pp. 572-576, 2009, INSTICC Press, 978-989-8111-81-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Yixin Guo, Carson C. Chow |
Existence and Stability of Standing Pulses in Neural Networks: I. Existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 4(2), pp. 217-248, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Nicholas A. Hamilton, Rudolf Mathon |
Existence and Non-existence ofm-systems of Polar Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 22(1), pp. 51-61, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | William G. Lycan |
Eternal existence and necessary existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 17(2), pp. 287-290, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
18 | Richard M. Wilson 0001 |
An Existence Theory for Pairwise Balanced Designs, III: Proof of the Existence Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 18(1), pp. 71-79, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
18 | Richard M. Wilson 0001 |
An Existence Theory for Pairwise Balanced Designs II. The Structure of PBD-Closed Sets and the Existence Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 13(2), pp. 246-273, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
17 | Takao Hagiwara, Masumi Ishikawa |
Emergence of Behaviors by Reinforcement Learning Based on the Desire for Existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain-Inspired Information Technology ![In: Brain-Inspired Information Technology, pp. 39-44, 2010, Springer, 978-3-642-04024-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Weidong Guo, Gennian Ge |
The existence of generalized mix functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 50(1), pp. 107-113, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
AMS Classifications Primary 05B15, 94A60 |
17 | Yizhar Or, Aaron D. Ames |
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 291-305, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Guillaume Escamocher, Peter Bro Miltersen, Rocio Santillan R. |
Existence and computation of equilibria of first-price auctions with integral valuations and bids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1227-1228, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
AAMAS proceedings, interactions::auctions and related structures, theoretical, economics |
17 | HongDa Li 0001, Bao Li 0001 |
Existence of 3-round zero-knowledge proof systems for NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(3), pp. 273-282, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
non-black-box simulation, DDH assumption, zero-knowledge proof, interactive proof |
17 | Lai-Jiu Lin 0001, Song Yu Wang, Chih-Sheng Chuang |
Existence theorems of systems of variational inclusion problems with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(4), pp. 751-764, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Upper semicontinuous (lower semicontinuous) multivalued map, Systems of variational inclusions problem, Bilevel problem, Ideal minimal point, Efficient point |
17 | Jeff Janies |
Existence Plots: A Low-Resolution Time Series for Port Behavior Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VizSEC ![In: 5th International Workshop on Visualization for Computer Security, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings, pp. 161-168, 2008, Springer, 978-3-540-85931-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Network traffic visualization, Low-resolution visualization, Time series |
17 | Evangelia Pyrga, Saurabh Ray |
New existence proofs epsilon-nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 24th ACM Symposium on Computational Geometry, College Park, MD, USA, June 9-11, 2008, pp. 199-207, 2008, ACM, 978-1-60558-071-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
strong ?-nets, discrete geometry, hitting sets, hypergraph transversals |
17 | Leonid M. Fridman, Yannick Aoustin, Franck Plestan |
Decomposition of existence and stability analysis of periodic solutions of systems with impacts: Application to bipedal walking robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5238-5243, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kiheon Park |
Existence conditions of decoupling controllers in the generalized plant model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5158-5163, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Tomás Neustupa |
Question of Existence and Uniqueness of Solution for Navier-Stokes Equation with Linear "Do-Nothing" Type Boundary Condition on the Outflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers, pp. 431-438, 2008, Springer, 978-3-642-00463-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ou Wu, Haiqiang Zuo, Weiming Hu, Mingliang Zhu, Shuxiao Li |
Recognizing and Filtering Web Images Based on People's Existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 648-654, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jiangzhuo Chen, Robert D. Kleinberg, László Lovász 0001, Rajmohan Rajaraman, Ravi Sundaram, Adrian Vetta |
(Almost) Tight bounds and existence theorems for single-commodity confluent flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(4), pp. 16, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
confluent flow, routing, Approximation algorithms, network flow, tight bounds |
17 | Dimitri P. Bertsekas, Paul Tseng |
Set Intersection Theorems and Existence of Optimal Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 110(2), pp. 287-314, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematical subject classification (1991) 49J99, 90C30, 90C25, 90C26 |
17 | Tetsuo Asano, Jirí Matousek 0001, Takeshi Tokuyama |
Zone diagrams: existence, uniqueness and algorithmic challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, New Orleans, Louisiana, USA, January 7-9, 2007, pp. 756-765, 2007, SIAM, 978-0-898716-24-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Minghui Jiang 0002, Xiaohong Wang, Yi Shen 0002 |
Existence and Stability of Periodic Solution of Non-autonomous Neural Networks with Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I, pp. 952-957, 2007, Springer, 978-3-540-72382-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 12042 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|