Search results for "PSI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	S. Kazem Lellahi, Rachid Souah	A Partial Semantics for Object Data Models with Static Binding.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Gregory Kucherov, Michaël Rusinowitch	Patterns in Words versus Patterns in Trees: A Brief Survey and New Results.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Yury V. Chelomin	Platform Independent Approach for Detecting Shared Memory Parallelism.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Marie-Claude Gaudel, Alexandre V. Zamulin	Algebraic Imperative Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Jonathan C. Martin, Michael Leuschel	Sonic Partial Deduction.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Volker Simonis, Roland Weiss	Heterogeneous, Nested STL Containers in C++.	Ershov Memorial Conference	1999	DBLP BibTeX RDF
17	Denis L. Uvarov	An Optimal Algorithm for Purging Regular Schemes.	Ershov Memorial Conference	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.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Vladimir Sidorov, Vitaly Telerman, Dmitry Ushakov	Constraint Programming Techniques for Solving Problems on Graphs.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio	Enhanced Control Flow Graphs in Montages.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Asuman Sünbül	Abstract State Machines for the Composition of Architectural Styles.	Ershov Memorial Conference	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.	Ershov Memorial Conference	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.	Ershov Memorial Conference	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.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Donald Sannella	The Common Framework Initiative for Algebraic Specification and Development of Software.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	S. S. Kobilov	Language Tools and Programming Systems in Educational Informatics.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Vladimir I. Shelekhov, Sergey V. Kuksenko	Data Flow Analysis of Java Programs in the Presence of Exceptions.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Fedor A. Kolushev, Alexander A. Bogdanov	Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Man Lin, Jacek Malec, Simin Nadjm-Tehrani	On Semantics and Correctness of Reactive Rule-Based Programs.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Carlos Castro 0001, Éric Monfroy	A Control Language for Designing Constraint Solvers.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Elena Trichina	Compositional Style of Programming FPGAs.	Ershov Memorial Conference	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.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Martin Plümicke	Polymorphism in OBJ-P.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Markus Hof	Late Adaptation of Method Invocation Semantics.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Dmitri Chkliaev, Jozef Hooman, Peter van der Stok	Serializability Preserving Extensions of Concurrency Control Protocols.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Neil D. Jones	The Essence of Program Transformation by Partial Evaluation and Driving.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Irina Kononenko, Ivan G. Popov, Yury A. Zagorulko	Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.	Ershov Memorial Conference	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.	Ershov Memorial Conference	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.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Irina A. Lomazova, Philippe Schnoebelen	Some Decidability Results for Nested Petri Nets.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Sima Asgari, Naoki Yonezaki	A General Object-Oriented Model for Spatial Data.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Lars Frank	Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data.	Ershov Memorial Conference	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.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Hanspeter Mössenböck	Twin - A Design Pattern for Modeling Multiple Inheritance.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Torben Æ. Mogensen	Linear Time Self-Interpretation of the Pure Lambda Calculus.	Ershov Memorial Conference	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.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Mads Dam, Dilian Gurov	Compositional Verification of CCS Processes.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Axel Dold, Vincent Vialard	Formal Verification of a Compiler Back-End Generic Checker Program.	Ershov Memorial Conference	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.	Ershov Memorial Conference	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.	Ershov Memorial Conference	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.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	A. P. Ustimenko	Hierarchical Cause-Effect Structures.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Tatyana M. Yakhno, Evgueni S. Petrov	Extensional Set Library for ECLiPSe.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Marc Deléglise, Joël Rivat	Computing psi(x).	Math. Comput.	1998	DBLP DOI BibTeX RDF
17	Horst Alzer	On some inequalities for the gamma and psi functions.	Math. Comput.	1997	DBLP DOI BibTeX RDF
17	Kazunori Mano	Design of a toll-quality 4-kbit/s speech coder based on phase-adaptive PSI-CELP.	ICASSP	1997	DBLP DOI BibTeX RDF
17	Lenore M. R. Mullin, Michael A. Jenkins	Effective data parallel computation using the Psi calculus.	Concurr. Pract. Exp.	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.	Ann. Pure Appl. Log.	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.	J. Chem. Inf. Comput. Sci.	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.	Comput. Appl. Biosci.	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.	Syst. Comput. Jpn.	1994	DBLP DOI BibTeX RDF
17	Hitoshi Ohmuro, Kazunori Mano, Takehiro Moriya	Variable bit-rate speech coding based on PSI-CELP.	ICSLP	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.	VTC	1994	DBLP DOI BibTeX RDF
17	Marc Deléglise, Joël Rivat	Computing pi(x), M(x) and Psi(x).	ANTS	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.	ICASSP (2)	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.	HPDC	1994	DBLP DOI BibTeX RDF
17	Satoshi Miki, Kazunori Mano, Hitoshi Ohmuro, Takehiro Moriya	Pitch synchronous innovation CELP (PSI-CELP).	EUROSPEECH	1993	DBLP DOI BibTeX RDF
17	Katsuto Nakajima, Nobuyuki Ichiyoshi	Evaluation of Inter-processor Communication in the KL1 Implementation on the Multi-PSI.	ICPP (1)	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.	NACLP	1989	DBLP BibTeX RDF
17	Katsuto Nakajima, Yu Inamura, Kazuaki Rokusawa, Nobuyuki Ichiyoshi, Takashi Chikayama	Distributed Implementation of KL1 on the Multi-PSI/V2.	ICLP	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.	ECAI	1988	DBLP BibTeX RDF
17	Dafydd Gibbon, Gunter Braun	The psi/phi architecture for prosodic parsing.	COLING	1988	DBLP BibTeX RDF
17	Catriel Beeri, Roger Nasr, Shalom Tsur	Embedding Psi-Terms in a Horn-Clause Logic Language.	JCDKB	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.	Nucleic Acids Res.	1987	DBLP DOI BibTeX RDF
17	Giampietro Allasia, Renata Besenghi	Numerical computation of Tricomi's psi function by the trapezoidal rule.	Computing	1987	DBLP DOI BibTeX RDF
17	Hiroshi Nakashima, Katsuto Nakajima	Hardware Architecture of the Sequential Inference Machine: PSI-II.	SLP	1987	DBLP BibTeX RDF
17	H. Kubono, J. Sawamoto, Y. Nagai, Y. Iwashita	Fact/Model Representation Environment in an Expert System Tool on PSI.	COMPCON	1987	DBLP BibTeX RDF
17	M. Ichiyoshi, T. Miyazaki, Kazuo Taki	A Distributed Implementation of Flat GHC on the Multi-PSI.	ICLP	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.	COMPCON	1986	DBLP BibTeX RDF
17	J. L. Laborie, D. F. Martin, J. C. Michalina, A. Picco	VLSI Digital signal processor (PSI).	ICASSP	1986	DBLP DOI BibTeX RDF
17	Rolf-Dieter Fiebrich, Yuh-Zen Liao, George M. Koppelman, Edward N. Adams	PSI: A Symbolic Layout System.	IBM J. Res. Dev.	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.	European Workshop on Applications and Theory in Petri Nets	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).	FGCS	1984	DBLP BibTeX RDF
17	D. E. Amos	Algorithm 610: A Portable FORTRAN Subroutine for Derivatives of the Psi Function.	ACM Trans. Math. Softw.	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.	New Gener. Comput.	1983	DBLP DOI BibTeX RDF
17	Shunichi Uchida, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa	Outline of the Personal Sequential Inference Machine: PSI.	New Gener. Comput.	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.	Logic Programming Workshop	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.	SIGART Newsl.	1982	DBLP DOI BibTeX RDF
17	Thomas C. Richards	Introduction to computing VIA PSI.	SIGCSE	1982	DBLP DOI BibTeX RDF
17	Louis I. Steinberg	A dialogue moderator for program specification dialogues in the PSI system.		1980	RDF
17	Cordell Green	The PSI program synthesis system, 1978 - An abstract.	AFIPS National Computer Conference	1978	DBLP BibTeX RDF
17	Brian P. McCune	The PSI Program Model Builder - synthesis of very high-level programs.	Artificial Intelligence and Programming Languages	1977	DBLP DOI BibTeX RDF
17	C. Green	A Summary of the PSI Program Synthesis System.	IJCAI	1977	DBLP BibTeX RDF
17	Ivo Thomas	One dimension in PS and PSI.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
17	C. Cordell Green	The Design of the PSI Program Synthesis System.	ICSE	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.	ICSE	1976	DBLP BibTeX RDF
17	Yonathan Bard	Application of the Page Survival Index (PSI) to Virtual-Memory System Performance.	IBM J. Res. Dev.	1975	DBLP DOI BibTeX RDF
17	Kenneth L. Modesitt	PSI: a valuable addition to the alphabet soup for computer science education.	ACM SIGCSE Bull.	1974	DBLP DOI BibTeX RDF
17	Jet Wimp	On the computation of Tricomi's psi function.	Computing	1974	DBLP DOI BibTeX RDF
17	Kenneth L. Modesitt	An excellent mixture for PSI: Computer science, PLATO, knowledge levels.	ACM Annual Conference (1)	1974	DBLP DOI BibTeX RDF
14	Asad Nazir, Sibylle Enz, Mei Yii Lim, Ruth Aylett, Alison Cawsey	Culture-personality based affective model.	AI Soc.	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.	RECOMB	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.	IEEE ACM Trans. Comput. Biol. Bioinform.	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.	Knowl. Inf. Syst.	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.	Int. J. Comput. Vis.	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.	DTMBIO	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.	ICDE	2008	DBLP DOI BibTeX RDF
14	Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke, Richard Sohnius	Fuzzy Time Intervals for Simulating Actions.	UNISCON	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.	SAC	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.	LICS	2008	DBLP DOI BibTeX RDF	Algebraic proof complexity, predicate logic, Propositional proof complexity