Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | S. Kazem Lellahi, Rachid Souah |
A Partial Semantics for Object Data Models with Static Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 370-382, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Gregory Kucherov, Michaël Rusinowitch |
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 283-296, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Yury V. Chelomin |
Platform Independent Approach for Detecting Shared Memory Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 194-197, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Marie-Claude Gaudel, Alexandre V. Zamulin |
Algebraic Imperative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 17-39, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan C. Martin, Michael Leuschel |
Sonic Partial Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 101-112, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Volker Simonis, Roland Weiss |
Heterogeneous, Nested STL Containers in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 383-388, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Denis L. Uvarov |
An Optimal Algorithm for Purging Regular Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 143-148, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann |
Construction of Verified Compiler Front-Ends with Program-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 481-492, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir Sidorov, Vitaly Telerman, Dmitry Ushakov |
Constraint Programming Techniques for Solving Problems on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 424-433, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio |
Enhanced Control Flow Graphs in Montages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 40-53, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Asuman Sünbül |
Abstract State Machines for the Composition of Architectural Styles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 54-61, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | J. Paul Gibson, Dominique Méry |
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 155-179, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie |
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 416-423, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev |
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 228-234, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Donald Sannella |
The Common Framework Initiative for Algebraic Specification and Development of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 1-9, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | S. S. Kobilov |
Language Tools and Programming Systems in Educational Informatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 311-315, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir I. Shelekhov, Sergey V. Kuksenko |
Data Flow Analysis of Java Programs in the Presence of Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 389-395, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Fedor A. Kolushev, Alexander A. Bogdanov |
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 503-510, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Man Lin, Jacek Malec, Simin Nadjm-Tehrani |
On Semantics and Correctness of Reactive Rule-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 235-246, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Castro 0001, Éric Monfroy |
A Control Language for Designing Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 402-415, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Elena Trichina |
Compositional Style of Programming FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 257-264, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ronald Morrison, Richard C. H. Connor, Quintin I. Cutts, Alan Dearle, Alex Farkas, Graham N. C. Kirby, Robert McGettrick, Evangelos Zirintsis |
Current Directions in Hyper-Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 316-340, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Martin Plümicke |
Polymorphism in OBJ-P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 149-154, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Markus Hof |
Late Adaptation of Method Invocation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 396-401, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Serializability Preserving Extensions of Concurrency Control Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 180-193, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Neil D. Jones |
The Essence of Program Transformation by Partial Evaluation and Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 62-79, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Irina Kononenko, Ivan G. Popov, Yury A. Zagorulko |
Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 511-516, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Robert Glück, Michael Leuschel |
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 93-100, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | George B. Cheblakov, Farida G. Dinenberg, David Ya. Levin, Ivan G. Popov, Yury A. Zagorulko |
Approach to Development of a System for Speech Interaction with an Intelligent Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 517-529, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Irina A. Lomazova, Philippe Schnoebelen |
Some Decidability Results for Nested Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 208-220, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Sima Asgari, Naoki Yonezaki |
A General Object-Oriented Model for Spatial Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 352-357, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Lars Frank |
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 341-351, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
semantic ACID properties, long-lived transactions, CSCW, concurrency control, collaborative writing, distributed groupware |
17 | Gabriel Ciobanu, Emanuel Florentin Olariu |
Abstract Structures for Communication between Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 221-227, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Hanspeter Mössenböck |
Twin - A Design Pattern for Modeling Multiple Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 358-369, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Torben Æ. Mogensen |
Linear Time Self-Interpretation of the Pure Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 128-142, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Niels H. Christensen, Robert Glück, Søren Laursen |
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 80-92, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Mads Dam, Dilian Gurov |
Compositional Verification of CCS Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 247-256, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Axel Dold, Vincent Vialard |
Formal Verification of a Compiler Back-End Generic Checker Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 470-480, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
checker-based program verification, generic specification, formal verification |
17 | Victor R. Basili, Forrest Shull, Filippo Lanubile |
Using Experiments to Build a Body of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 265-282, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin |
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 460-469, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification |
17 | Margarita V. Korovina, Oleg V. Kudinov |
A Logical Approach to Specification of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 10-16, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | A. P. Ustimenko |
Hierarchical Cause-Effect Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 198-207, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Tatyana M. Yakhno, Evgueni S. Petrov |
Extensional Set Library for ECLiPSe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 434-444, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Marc Deléglise, Joël Rivat |
Computing psi(x). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 67(224), pp. 1691-1696, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Horst Alzer |
On some inequalities for the gamma and psi functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 66(217), pp. 373-389, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Kazunori Mano |
Design of a toll-quality 4-kbit/s speech coder based on phase-adaptive PSI-CELP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '97, Munich, Germany, April 21-24, 1997, pp. 755-758, 1997, IEEE Computer Society, 0-8186-7919-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Lenore M. R. Mullin, Michael A. Jenkins |
Effective data parallel computation using the Psi calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 8(7), pp. 499-515, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Saharon Shelah |
In the Random Graph G(n, p), p = n-a: If psi Has Probability O(n-epsilon) for Every epsilon>0 Then it Has Probability O(e-nepsilon) for Some epsilon>0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 82(1), pp. 97-102, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Peter J. Artymiuk, Helen M. Grindley, Andrew R. Poirrette, David W. Rice, Elizabeth C. Ujah, Peter Willett 0002 |
Identification of .beta.-sheet motifs, of .psi.-loops, and of patterns of amino acid residues in three-dimensional protein structures using a subgraph-isomorphism algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 34(1), pp. 54-62, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Motokazu Kamimura, Yoshimasa Takahashi |
Phi-psi conformational pattern clustering of protein amino acid residues using the potential function method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Biosci. ![In: Comput. Appl. Biosci. 10(2), pp. 163-169, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Kazuo Taki, Nobuyuki Ichiyoshi |
Parallel processing on the multi-PSI computer and its evaluation - a programming paradigm based on a small-grain highly concurrent object model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 25(1), pp. 17-36, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Hitoshi Ohmuro, Kazunori Mano, Takehiro Moriya |
Variable bit-rate speech coding based on PSI-CELP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSLP ![In: The 3rd International Conference on Spoken Language Processing, ICSLP 1994, Yokohama, Japan, September 18-22, 1994, pp. 2067-2070, 1994, ISCA. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Tomoyuki Ohya, Hirohito Suda, Toshio Miki |
5.6 kbits/s PSI-CELP of the half-rate PDC speech coding standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC ![In: Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, VTC 1994, 8-10 June 1994, Stockholm, Sweden, pp. 1680-1684, 1994, IEEE, 0-7803-1927-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Marc Deléglise, Joël Rivat |
Computing pi(x), M(x) and Psi(x). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS ![In: Algorithmic Number Theory, First International Symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994, Proceedings, pp. 264, 1994, Springer, 3-540-58691-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Satoshi Miki, Kazunori Mano, Takehiro Moriya, Kumiko Oguchi, Hitoshi Ohmuro |
A pitch synchronous innovation CELP (PSI-CELP) coder for 2-4 kbit/s. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP (2) ![In: Proceedings of ICASSP '94: IEEE International Conference on Acoustics, Speech and Signal Processing, Adelaide, South Australia, Australia, April 19-22, 1994, pp. 113-116, 1994, IEEE Computer Society, 0-7803-1775-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Fernando A. Morales, Hosame Abu-Amara |
Design of a Header Processor for the PSi Implementation of the Logical Link Control Protocol in LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the Third International Symposium on High Performance Distributed Computing, HPDC '94, San Francisco, CA, USA, April 2-5, 1994., pp. 270-277, 1994, IEEE, 0-8186-6395-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Satoshi Miki, Kazunori Mano, Hitoshi Ohmuro, Takehiro Moriya |
Pitch synchronous innovation CELP (PSI-CELP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSPEECH ![In: Third European Conference on Speech Communication and Technology, EUROSPEECH 1993, Berlin, Germany, September 22-25, 1993, pp. 261-264, 1993, ISCA. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Katsuto Nakajima, Nobuyuki Ichiyoshi |
Evaluation of Inter-processor Communication in the KL1 Implementation on the Multi-PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (1) ![In: Proceedings of the 1990 International Conference on Parallel Processing, Urbana-Champaign, IL, USA, August 1990. Volume 1: Architecture., pp. 613-614, 1990, Pennsylvania State University Press, 0-271-00728-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
17 | Yu Inamura, Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima |
Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NACLP ![In: Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes, pp. 907-921, 1989, MIT Press, 0-262-62064-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
17 | Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama |
Distributed Implementation of KL1 on the Multi-PSI/V2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 436-451, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
17 | Kanae Masuda, Hirokazu Ishizuka, Hiroaki Iwayama, Kazuo Taki, Eiji Sugino |
Preliminary Evaluation of the Connection Network for the Multi-PSI System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 8th European Conference on Artificial Intelligence, ECAI 1988, Munich, Germany, August 1-5, 1988, Proceedings., pp. 18-23, 1988, Pitmann Publishing, London, 0-273-08798-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | Dafydd Gibbon, Gunter Braun |
The psi/phi architecture for prosodic parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 12th International Conference on Computational Linguistics, COLING '88, Budapest, Hungary, August 22-27, 1988, pp. 202-204, 1988, John von Neumann Society for Computing Sciences, Budapest, 963-8431-56-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | Catriel Beeri, Roger Nasr, Shalom Tsur |
Embedding Psi-Terms in a Horn-Clause Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDKB ![In: Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel., pp. 347-359, 1988, Morgan Kaufmann, 978-1-4832-1313-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Nicholas P. Anagnou, Stylianos E. Antonarakis, S. J. O'Brien, Arthur W. Nienhuis |
A novel form of human polymorphism involving the hDHFR-psi 1 pseudogene identifies three RFLPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 15(13), pp. 5501, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Giampietro Allasia, Renata Besenghi |
Numerical computation of Tricomi's psi function by the trapezoidal rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 39(3), pp. 271-279, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Hiroshi Nakashima, Katsuto Nakajima |
Hardware Architecture of the Sequential Inference Machine: PSI-II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 104-113, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
17 | H. Kubono, J. Sawamoto, Y. Nagai, Y. Iwashita |
Fact/Model Representation Environment in an Expert System Tool on PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPCON ![In: COMPCON'87, Digest of Papers, Thirty-Second IEEE Computer Society International Conference, San Francisco, California, USA, February 23-27, 1987, pp. 458-461, 1987, IEEE Computer Society, 0-8186-0764-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
17 | M. Ichiyoshi, T. Miyazaki, Kazuo Taki |
A Distributed Implementation of Flat GHC on the Multi-PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 257-275, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
17 | Katsuto Nakajima, Hiroshi Nakashima, Minoru Yokota, Kazuo Taki, Shunichi Uchida, Hiroshi Nishikawa, Akira Yamamoto, Masaki Mitsui |
Evaluation of PSI Micro-Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPCON ![In: Spring COMPCON'86, Digest of Papers, Thirty-First IEEE Computer Society International Conference, San Francisco, California, USA, March 3-6, 1986, pp. 173-177, 1986, IEEE Computer Society, 0-8186-0692-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
17 | J. L. Laborie, D. F. Martin, J. C. Michalina, A. Picco |
VLSI Digital signal processor (PSI). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 1986, Tokyo, Japan, April 7-11, 1986, pp. 389-392, 1986, IEEE. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Rolf-Dieter Fiebrich, Yuh-Zen Liao, George M. Koppelman, Edward N. Adams |
PSI: A Symbolic Layout System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 28(5), pp. 572-580, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | P. Alanche, K. Benzakour, F. Dollé, P. Gillet, P. Rodrigues, Robert Valette |
PSI: A Petri net based simulator for flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 1-14, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Kazuo Taki, Minoru Yokota, Akira Yamamoto, Hiroshi Nishikawa, Shunichi Uchida, Hiroshi Nakashima, Akitoshi Mitsuishi |
Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 398-409, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
17 | D. E. Amos |
Algorithm 610: A Portable FORTRAN Subroutine for Derivatives of the Psi Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 9(4), pp. 494-502, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida |
The Design and Implementation of a Personal Sequential Inference Machine: PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 1(2), pp. 125-144, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Shunichi Uchida, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa |
Outline of the Personal Sequential Inference Machine: PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 1(1), pp. 75-79, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Hiroshi Nishikawa, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Shunichi Uchida |
The Personal Sequential Inference Machine (PSI): Its Design and Machine Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic Programming Workshop ![In: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., pp. 53-73, 1983, Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
17 | Robert J. Bobrow, Madeleine Bates, Boanie Webber |
The RUS parsing system and PSI-KLONE semantic interface: Bolt, Beranek, and Newman. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Newsl. ![In: SIGART Newsl. 79, pp. 32, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Thomas C. Richards |
Introduction to computing VIA PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the13th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1982, Indianapolis, IN, USA, February 11-12, 1982, pp. 60-63, 1982, ACM, 978-0-89791-067-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Louis I. Steinberg |
A dialogue moderator for program specification dialogues in the PSI system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1980 |
RDF |
|
17 | Cordell Green |
The PSI program synthesis system, 1978 - An abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1978 National Computer Conference, June 5-8, 1978, Anaheim, CA, USA, pp. 673-674, 1978, AFIPS Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
17 | Brian P. McCune |
The PSI Program Model Builder - synthesis of very high-level programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence and Programming Languages ![In: Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, USA, August 15-17, 1977, pp. 130-139, 1977, ACM, 978-1-4503-7874-1. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
17 | C. Green |
A Summary of the PSI Program Synthesis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, MA, USA, August 22-25, 1977, pp. 380-381, 1977, William Kaufmann. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
17 | Ivo Thomas |
One dimension in PS and PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 17(3), pp. 421-423, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
17 | C. Cordell Green |
The Design of the PSI Program Synthesis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 2nd International Conference on Software Engineering, San Francisco, California, USA, October 13-15, 1976., pp. 4-18, 1976, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP BibTeX RDF |
|
17 | David R. Barstow, Elaine Kant |
Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 2nd International Conference on Software Engineering, San Francisco, California, USA, October 13-15, 1976., pp. 19-31, 1976, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP BibTeX RDF |
|
17 | Yonathan Bard |
Application of the Page Survival Index (PSI) to Virtual-Memory System Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 19(3), pp. 212-220, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth L. Modesitt |
PSI: a valuable addition to the alphabet soup for computer science education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 6(2), pp. 37-44, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
17 | Jet Wimp |
On the computation of Tricomi's psi function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 13(3-4), pp. 195-203, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth L. Modesitt |
An excellent mixture for PSI: Computer science, PLATO, knowledge levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings of the 1974 ACM Annual Conference, San Diego, California, USA, November 1974, Volume 1, pp. 89-94, 1974, ACM, 978-1-4503-7482-8. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
14 | Asad Nazir, Sibylle Enz, Mei Yii Lim, Ruth Aylett, Alison Cawsey |
Culture-personality based affective model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 24(3), pp. 281-293, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Feng Zhao, Jian Peng 0001, Joe DeBartolo, Karl F. Freed, Tobin R. Sosnick, Jinbo Xu |
A Probabilistic Graphical Model for Ab Initio Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology, 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings, pp. 59-73, 2009, Springer, 978-3-642-02007-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ab initio folding, conditional random fields (CRFs), directional statistics, fragment assembly, protein structure prediction, lattice model |
14 | Man-Wai Mak, Jian Guo 0002, Sun-Yuan Kung |
PairProSVM: Protein Subcellular Localization Based on Local Pairwise Profile Alignment and SVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 5(3), pp. 416-422, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
profile alignment, Mercer condition, Support Vector Machines, Kernel Methods, Subcellular localization |
14 | Keith Marsolo, Srinivasan Parthasarathy 0001 |
On the use of structure and sequence-based features for protein classification and retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 14(1), pp. 59-80, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Protein indexing, Protein retrieval, Sequence and structure-based protein representations, Bioinformatics |
14 | Anitha Kannan, Nebojsa Jojic, Brendan J. Frey |
Fast Transformation-Invariant Component Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 77(1-3), pp. 87-101, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TCA, Clustering, Dimensionality reduction, EM algorithm, Patch |
14 | Ankit Agrawal 0001, Xiaoqiu Huang 0001 |
Pairwise statistical significance of local sequence alignment using multiple parameter sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTMBIO ![In: Proceeding of the 2nd International Workshop on Data and Text Mining in Bioinformatics, DTMBIO 2008, Napa Valley, California, USA, October 30, 2008, pp. 53-60, 2008, ACM, 978-1-60558-251-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
database statistical significance, pairwise statistical significance, sequence alignment, homologs, parameter set |
14 | Mir Sadek Ali, Mariano P. Consens, Shahan Khatchadourian, Flavio Rizzolo |
DescribeX: Interacting with AxPRE Summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 1540-1543, 2008, IEEE Computer Society, 978-1-4244-1836-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke, Richard Sohnius |
Fuzzy Time Intervals for Simulating Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008, Proceedings, pp. 429-444, 2008, Springer, 978-3-540-78941-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Márcio Dorn, Osmar Norberto de Souza |
CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1261-1267, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
3-D protein structure prediction, CReF, ab initio, de novo, knowledge-based methods, scientific data bases |
14 | Søren Riis |
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. ![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. 272-283, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Algebraic proof complexity, predicate logic, Propositional proof complexity |