Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Miroslav Kolár, Tateaki Sasaki |
Multivariate quotient by power-series division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 26(3), pp. 17-20, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Clifford A. Reiter |
Visualizing the dynamics of the Rayleigh quotient iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 16(3), pp. 341-344, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Derek C. Wong, Michael J. Flynn |
Fast Division Using Accurate Quotient Approximations to Reduce the Number of Iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(8), pp. 981-995, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Sorbi |
Some Quotient Lattices of the Medvedev Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 37(9-12), pp. 167-182, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Vassilis L. Syrmos, Frank L. Lewis |
A geometric approach to proportional-plus-derivative feedback using quotient and partitioned subspaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 27(2), pp. 349-369, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Hubert Comon |
Complete Axiomatizations of Some Quotient Term Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 469-480, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Jyh-Chern Ho, Jar-Ferr Yang |
Parallel Rayleigh quotient iterative algorithm for rooting nonstationary spectral polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 1991 International Conference on Acoustics, Speech, and Signal Processing, ICASSP '91, Toronto, Ontario, Canada, May 14-17, 1991, pp. 2233-2236, 1991, IEEE Computer Society, 0-7803-0003-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Derek C. Wong, Michael J. Flynn |
Fast division using accurate quotient approximations to reduce the number of iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 10th IEEE Symposium on Computer Arithmetic, ARITH 1991, Grenoble, France, June 26-28, 1991, pp. 191-201, 1991, IEEE, 0-8186-9151-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | G. Pini |
Computation of minimum eigenvalue through minimization of rayleigh's quotient for large sparse matrices using vector computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 36(1-2), pp. 89-99, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | George Havas, Mike F. Newman, Michael R. Vaughan-Lee |
A Nilpotent Quotient Algorithm for Graded Lie Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 9(5/6), pp. 653-664, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Charles C. Sims |
Implementing the Baumslag-Cannonito-Miller Polycyclic Quotient Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 9(5/6), pp. 707-723, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Ira S. Moskowitz |
Quotient States and Probabilistic Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Third IEEE Computer Security Foundations Workshop - CSFW'90, Franconia, New Hampshire, USA, June 12-14, 1990, Proceedings, pp. 74-83, 1990, IEEE Computer Society, 0-8186-2071-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | William M. Kantor, Eugene M. Luks |
Computing in Quotient Groups ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, May 13-17, 1990, Baltimore, Maryland, USA, pp. 524-534, 1990, ACM, 0-89791-361-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Brian Alspach |
Lifting Hamilton cycles of quotient graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 78(1-2), pp. 25-36, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Viliam Geffert |
A Representation of Recursively Enumerable Languages by Two Homomorphisms and a Quotient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 62(3), pp. 235-249, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Wilhelm Plesken |
Towards a Soluble Quotient Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 4(1), pp. 111-122, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Anders Edenbrandt |
Quotient Tree Partitioning of Undirected Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIT ![In: BIT 26(2), pp. 148-155, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Andres Buzo, Federico Kuhlmann, Carlos Rivera |
Rate-distortion bounds for quotient-based distortions with application to Itakura-Saito distortion measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 32(2), pp. 141-147, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Michel Latteux, B. Leguy, B. Ratoandromanana |
The Family of One-Counter Languages is Closed Under Quotient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 22(5), pp. 579-588, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Milos D. Ercegovac, Tomás Lang |
A division algorithm with prediction of quotient digits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 7th IEEE Symposium on Computer Arithmetic, ARITH 1985, Urbana, IL, USA, June 4-6, 1985, pp. 51-56, 1985, IEEE, 0-8186-0632-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | George S. Taylor |
Radix 16 SRT dividers with overlapped quotient selection stages: A 225 nanosecond double precision divider for the S-1 Mark IIB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 7th IEEE Symposium on Computer Arithmetic, ARITH 1985, Urbana, IL, USA, June 4-6, 1985, pp. 64-71, 1985, IEEE, 0-8186-0632-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | James R. Bell 0001 |
The Quadratic Quotient Method: a Hash Code Eliminating Secondary Clustering (Reprint). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 26(1), pp. 62-63, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Milos D. Ercegovac |
A higher-radix division with simple selection of quotient digits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 6th IEEE Symposium on Computer Arithmetic, ARITH 1983, Aarhus, Denmark, June 20-22, 1983, pp. 94-98, 1983, IEEE Computer Society, 0-8186-0034-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | John P. Fishburn, Raphael A. Finkel |
Quotient Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 31(4), pp. 288-295, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | George L. O'Brien |
A generalized notion of quotient for finite Abelian groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 37(1), pp. 119-121, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Alan George, Joseph W. H. Liu |
A Fast Implementation of the Minimum Degree Algorithm Using Quotient Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 6(3), pp. 337-358, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Chris Mortensen |
Every quotient algebra for C1 is trivial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 21(4), pp. 694-700, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
15 | M. W. Warner |
Semi-Group, Group Quotient and Homogeneous Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 47(1), pp. 59-66, October 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Carlo Maria Gramaccioll, Giuseppe Fillipini |
A computer routine for-deriving a quotient group with any symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. ![In: Comput. Chem. 3(2-4), pp. 117-120, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Alan L. Tharp |
Further refinement of the linear quotient hashing method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 4(3), pp. 55-56, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Touria Ghemires |
Application du quotient de Rayleigh au calcul des valeurs propres d'opérateurs différentiels par la méthode des différences finies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1979 |
RDF |
|
15 | Giuseppe Filippini, Carlo Y. Gramaccioll, Massimo Simonetta, Giuseppe B. Suffritti |
Derivation of a quotient group in symmetry operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. ![In: Comput. Chem. 1(3), pp. 215-220, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
15 | H. T. Dorrah, S. T. Nichols |
Advances on the Extended Stochastic Rayleigh Quotient Estimation Theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 33(2), pp. 117-141, February 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
15 | Mike F. Newman |
Calculating presentations for certain kinds of quotient groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSACC ![In: Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1976, Yorktown Heights, New York, USA, August 10-12, 1976, pp. 2-8, 1976, ACM, 978-1-4503-7790-4. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
15 | Walter A. Burkhard |
Full Table Quadratic Quotient Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 18(2), pp. 161-163, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
15 | Daniel E. Atkins |
The analysis and design of a class of quotient digit selectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 2nd IEEE Symposium on Computer Arithmetic, ARITH 1972, College Park, MD, USA, May 15-16, 1972, pp. 1-2, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
15 | James R. Bell 0001 |
The Quadratic Quotient Method: a Hash Code Eliminating Secondary Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(2), pp. 107-109, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
15 | James R. Bell 0001, Charles H. Kaman |
The linear quotient hash code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(11), pp. 675-676, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
calculated address, search, hashing, table, keys, hash code, lookup, scatter storage, symbol table |
15 | Leslie Lamport |
Comment on Bell's quadratic quotient method for hash coded searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(9), pp. 573-574, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
15 | Daniel E. Atkins |
A Study of Methods for Selection of Quotient Digits During Digital Division ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1970 |
RDF |
|
15 | John E. Hopcroft, Jeffrey D. Ullman |
Deterministic Stack Automata and the Quotient Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 2(1), pp. 1-12, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
9 | Yongjian Xie, Yongming Li 0001 |
Riesz ideals in generalized pseudo effect algebras and in their unitizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(4), pp. 387-398, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Generalized pseudoeffect algebra, Normal Riesz ideal, Congruence |
9 | Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
Timed I/O automata: a complete specification theory for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 91-100, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
specification theory, timed i/o automata, real-time, interfaces, refinement |
9 | Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink |
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comp. Sys. Biology ![In: Transactions on Computational Systems Biology XI, pp. 69-89, 2009, Springer, 978-3-642-04185-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Václav Koubek, Jirí Sichler |
Almost ff-universality Implies Q-universality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 17(5), pp. 419-434, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 08C15, 18B15 |
9 | Sylvia Pulmannová |
MV-pairs and states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(11), pp. 1081-1087, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
R-generated Boolean algebra, MV-pair, MV-algebra, State, Effect algebra |
9 | Marc Oudin, Jean Pierre Delmas |
Asymptotic Generalized Eigenvalue Distribution of Block Multilevel Toeplitz Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(1), pp. 382-387, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Shantanu H. Joshi, Anuj Srivastava |
Intrinsic Bayesian Active Contours for Extraction of Object Boundaries in Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 81(3), pp. 331-355, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Shape extraction, Bayesian shape extraction, Tangent PCA, Intrinsic shape analysis, Elastic shapes, Segmentation, Riemannian metric |
9 | Gokhan Gulgezen, Zehra Cataltepe, Lei Yu 0001 |
Stable and Accurate Feature Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part I, pp. 455-468, 2009, Springer, 978-3-642-04179-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stable Feature Selection, MRMR (Minimum Redundancy Maximum Relevance), Feature Selection, Stability |
9 | Jian Weng 0001, Robert H. Deng, Xuhua Ding, Cheng-Kang Chu, Junzuo Lai |
Conditional proxy re-encryption secure against chosen-ciphertext attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2009, Sydney, Australia, March 10-12, 2009, pp. 322-332, 2009, ACM, 978-1-60558-394-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conditional proxy re-encryption, bilinear pairing, chosen-ciphertext security |
9 | Nathalie Bertrand 0001, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet |
A Compositional Approach on Modal Specifications for Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 679-697, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Patrick Bosc, Olivier Pivert, Olivier Soufflet |
On Three Classes of Division Queries Involving Ordinal Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings, pp. 311-320, 2009, Springer, 978-3-642-04124-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Robert Elsässer, Thomas Sauerwald |
Tight Bounds for the Cover Time of Multiple Random Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I, pp. 415-426, 2009, Springer, 978-3-642-02926-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Serge Burckel, Emeric Gioan, Emmanuel Thomé |
Mapping Computation with No Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings, pp. 85-97, 2009, Springer, 978-3-642-03744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mapping computation, boolean mapping, linear mapping, processor optimization, multistage interconnection network, circuit design, memory optimization, butterfly, program design, rearrangeability |
9 | Michele Boreale |
Weighted Bisimulation in Linear Algebraic Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 163-177, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Marc de Falco |
An Explicit Framework for Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 209-223, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Oleg V. Kudinov, Victor L. Selivanov |
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 290-299, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Gandy theorem, least fixed point, biinterpretability, labeled forest, h-quasiorder, definability |
9 | Okyay Kaynak |
Intelligent Systems and Its Applications in Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIRA ![In: Advances in Robotics, FIRA RoboWorld Congress 2009, Incheon, Korea, August 16-20, 2009. Proceedings, pp. 1, 2009, Springer, 978-3-642-03982-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Saigopal Nelaturi, Vadim Shapiro |
Configuration products in geometric modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, San Francisco, California, USA, October 5-8, 2009, pp. 247-258, 2009, ACM, 978-1-60558-711-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Kourosh Neshatian, Mengjie Zhang 0001 |
Unsupervised Elimination of Redundant Features Using Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 432-442, 2009, Springer, 978-3-642-10438-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Szilvia Szilágyi |
A Characterization and the Intersection of the Maximal Compatible Extensions of a Partial Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(4), pp. 321-333, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06A06, 06F99 |
9 | Hans Z. Munthe-Kaas, Will M. Wright |
On the Hopf Algebraic Structure of Lie Group Integrators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 8(2), pp. 227-257, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Ming-Der Shieh, Jun-Hong Chen, Hao-Hsuan Wu, Wen-Ching Lin |
A New Modular Exponentiation Architecture for Efficient Design of RSA Cryptosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(9), pp. 1151-1161, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | A. S. Hegazi, F. Ismail, M. M. Elsofy |
Induced and Coinduced Representations of Hopf Group Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(1-2), pp. 97-102, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 16W30 |
9 | Lars Kadison |
Anchor Maps and Stable Modules in Depth Two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(1-2), pp. 141-157, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 11S20, 13B24, 17B37, 20L05, 16W30 |
9 | Carmen Martínez, Ramón Beivide, Esteban Stafford, Miquel Moretó, Ernst M. Gabidulin |
Modeling Toroidal Networks with the Gaussian Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(8), pp. 1046-1056, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Thomas Vetterlein |
A Way to Interpret Lukasiewicz Logic and Basic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(3), pp. 407-423, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Basic Logic, a-equivalence relation, Boolean algebra, MV-algebra, BL-algebra, Heyting algebra, ?ukasiewicz Logic |
9 | Shujun Tan, Zhi-Gang Wu, Wanxie Zhong |
Optimal induced norm computation of discrete H∞ control systems with time-delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(4), pp. 653-662, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Discrete systems with time-delays, Optimal H ? induced norm, Extended W-W algorithm |
9 | Sylvia Pulmannová, Elena Vinceková |
Ideals in MV-pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(12), pp. 1199-1204, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Changjian Liang, Yongming Li 0001 |
Algebraic properties on the cuts of lattice-valued regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(11), pp. 1049-1057, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy languages, Lattice-valued regular languages, Level structure, Closure properties |
9 | Joaquim Júdice, Marcos Raydan, Silvério S. Rosa, Sandra Augusta Santos |
On the solution of the symmetric eigenvalue complementarity problem by the spectral projected gradient algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 47(4), pp. 391-407, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Projected gradient algorithms, Eigenvalue problems, Complementarity |
9 | Lu Yang, Samir Attallah, George Mathew, Karim Abed-Meraim |
Analysis of Orthogonality Error Propagation for FRANS and HFRANS Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(9), pp. 4515-4521, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Xavier Mestre |
On the Asymptotic Behavior of the Sample Estimates of Eigenvalues and Eigenvectors of Covariance Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(11), pp. 5353-5368, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | David Duris |
Hypergraph Acyclicity and Extension Preservation Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 418-427, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hypergraph acyclicity, preservation theorems, logic, finite model theory |
9 | Noam D. Elkies |
Shimura Curve Computations Via K3 Surfaces of Néron-Severi Rank at Least 19. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS ![In: Algorithmic Number Theory, 8th International Symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008, Proceedings, pp. 196-211, 2008, Springer, 978-3-540-79455-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Chien-Wei Hsin, Tsung-Hui Chang, Wing-Kin Ma, Chong-Yung Chi |
A Linear Fractional Semidefinite Relaxed ML Approach to Blind Detection of 16-QAM Orthogonal Space-Time Block Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 790-794, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre |
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 244-258, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Marc Oudin, Jean Pierre Delmas |
Asymptotic generalized eigenvalue distribution of Toeplitz block Toeplitz matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 3309-3312, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jianyi Liu, Nanning Zheng 0001, Lei Xiong, Gaofeng Meng, Shaoyi Du |
Illumination transition image: Parameter-based illumination estimation and re-rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Suke Li, Zhong Chen 0001, Liyong Tang, Zhao Wang |
TSearch: A Self-learning Vertical Search Spider for Travel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 348-353, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Wei Li, Zhu-Hua Han |
Short-Term Power Load Forecasting Using Improved Ant Colony Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 221-224, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Power Load Forecasting, IACC, Colony Clustering, Load Curves |
9 | Chuanyu Xu |
New Structures of Intuitionistic Fuzzy Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 145-152, 2008, Springer, 978-3-540-85929-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jun-Hong Chen, Wen-Ching Lin, Hao-Hsuan Wu, Ming-Der Shieh |
High-speed modular multiplication design for public-key cryptosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 680-683, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jean-Yves Marion, Romain Péchoux |
Characterizations of polynomial complexity classes with a better intensionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 79-88, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quasi-interpretation, resource upper bounds, sup-interpretation, static analysis |
9 | Shen Weizheng, Wu Yachun, Chen Zhanliang, Wei Hongda |
Grading Method of Leaf Spot Disease Based on Image Processing. ![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. 491-494, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Ming-Chang Chiang, Marina Barysheva, Agatha D. Lee, Sarah K. Madsen, Andrea D. Klunder, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Matthew Meredith, Margaret J. Wright, Anuj Srivastava, Nikolay Balov, Paul M. Thompson |
Brain Fiber Architecture, Genetics, and Intelligence: A High Angular Resolution Diffusion Imaging (HARDI) Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 1060-1067, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Roman Kolpakov, Mathieu Raffinot |
Faster Text Fingerprinting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: String Processing and Information Retrieval, 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings, pp. 15-26, 2008, Springer, 978-3-540-89096-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Martin Byröd, Klas Josephson, Kalle Åström |
A Column-Pivoting Based Strategy for Monomial Ordering in Numerical Gröbner Basis Calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (4) ![In: Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV, pp. 130-143, 2008, Springer, 978-3-540-88692-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Rayna Dimitrova, Andreas Podelski |
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 98-111, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Peter J. Murphy, Anne-Maria Laukkanen |
Electroglottogram Analysis of Emotionally Styled Phonation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST 2102 School (Vietri) ![In: Multimodal Signals: Cognitive and Algorithmic Issues, COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008, Revised Selected and Invited Papers, pp. 264-270, 2008, Springer, 978-3-642-00524-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen |
Time-Abstracting Bisimulation for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 177-184, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
time-abstracting bisimulation, probabilistic timed automata |
9 | Razvan Cristescu |
On node selection for classification in correlated data sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: 42nd Annual Conference on Information Sciences and Systems, CISS 2008, Princeton, NJ, USA, 19-21 March 2008, pp. 1064-1068, 2008, IEEE, 978-1-4244-2246-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Vladimir P. Gerdt, Mikhail V. Zinin |
A pommaret division algorithm for computing Grobner bases in boolean rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 95-102, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
boolean ring, involutive algorithm, pommaret division, groebner basis |
9 | Bernhard Banaschewski |
The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(5-6), pp. 473-479, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 46E25, 54C30 |
9 | Martin Raussen |
Invariants of Directed Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(4), pp. 355-386, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A32, 55Pxx, 55Q05, 55U40, 68Q85, 68N30 |
9 | Eric Goubault, Emmanuel Haucourt |
Components of the Fundamental Category II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(4), pp. 387-414, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40 |
9 | Tomás Lang, Alberto Nannarelli |
A Radix-10 Digit-Recurrence Division Unit: Algorithm and Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(6), pp. 727-739, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
decimal division, algorithms and architectures for floating-point arithmetic, Decimal arithmetic, digit-recurrence division |
9 | Fengxi Song, David Zhang 0001, Dayong Mei, Zhongwei Guo |
A Multiple Maximum Scatter Difference Discriminant Criterion for Facial Feature Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 37(6), pp. 1599-1606, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jian Meng, Guanfeng Liu 0001, Zexiang Li 0001 |
A Geometric Theory for Analysis and Synthesis of Sub-6 DoF Parallel Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 23(4), pp. 625-649, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Yoshihito Tanaka |
An Infinitary Extension of Jankov's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(1), pp. 111-131, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Subdirectly irreducible algebra, Heyting algebra, Infinitary logic |