|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 495 occurrences of 408 keywords
|
|
|
Results
Found 1346 publication records. Showing 1346 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Yehuda Afek, Omer Ben-Shalom, Anat Bremler-Barr |
On the structure and application of BGP policy atoms. |
Internet Measurement Workshop |
2002 |
DBLP DOI BibTeX RDF |
policy routing, routing protocols, BGP |
77 | Joshua L. Payne, Margaret J. Eppstein |
A hybrid genetic algorithm with pattern search for finding heavy atoms in protein crystals. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
crystallographic phasing, heavy atom method, isomorphous replacement, phase problem, genetic algorithms, pattern search, hybrid evolutionary algorithms, crystallography |
61 | Sam Bryfczynski |
OrganicPad: a tablet PC based chemistry tool. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Hon Fung Li, Eslam Al Maghayreh |
Using synchronized atoms to check distributed programs. |
ICPADS |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Joonghyun Ryu, Rhohun Park, Deok-Soo Kim |
Connolly Surface on an Atomic Structure via Voronoi Diagram of Atoms. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
Connolly/molecular surface, Voronoi diagram of atoms, protein, ?-shape, blending surface |
53 | Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen |
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Mounira Belmesk |
An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Jeongyeon Seo, Donguk Kim 0001, Cheol-Hyung Cho, Deok-Soo Kim |
A beta-Shape from the Voronoi Diagram of Atoms for Protein Structure Analysis. |
ICCSA (1) |
2006 |
DBLP DOI BibTeX RDF |
Voronoi diagram of spheres, ?-shape, ?-shape, ?-complex, ?-complex |
50 | Joonghyun Ryu, Rhohun Park, Jeongyeon Seo, Chong-Min Kim, Hyun-Chan Lee, Deok-Soo Kim |
Real-Time Triangulation of Molecular Surfaces. |
ICCSA (1) |
2007 |
DBLP DOI BibTeX RDF |
a protein, a molecular surface, a Voronoi diagram of atoms, ?-shape |
50 | John S. Conery, Warner L. Peticolas, Thomas Rush III, Kesavan Shanmugam, Jose Dominguez |
A parallel algorithm for calculating the potential energy in DNA. |
HICSS (5) |
1995 |
DBLP DOI BibTeX RDF |
bioelectric phenomena, potential energy, Dreiding force field, seven-term equation, bonded atoms, electrostatic interactions, nonbonded terms, MasPar MP-I, SGI workstation, long polymeric structure, deoxyribonucleic acid, parallel algorithms, parallel algorithm, execution time, DNA, DNA, biology computing, sequential program, molecule, molecular biophysics, data-parallel algorithm |
44 | Chandrajit L. Bajaj, Rezaul Alam Chowdhury, Muhibur Rasheed |
A dynamic data structure for flexible molecular maintenance and informatics. |
Symposium on Solid and Physical Modeling |
2009 |
DBLP DOI BibTeX RDF |
de novo drug design, computer aided design, shape modeling, protein folding, molecular docking, interactive software |
44 | Ivana Tosic, Pascal Frossard |
Geometry-Based Distributed Scene Representation With Omnidirectional Vision Sensors. |
IEEE Trans. Image Process. |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Ivana Tosic, Pascal Frossard |
Wyner-Ziv Coding of Multi-View Omnidirectional Imageswith Overcomplete Decompositions. |
ICIP (3) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Christine Wei Wu |
Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Vishwani D. Agrawal, Srimat T. Chakradhar |
Performance estimation in a massively parallel system. |
SC |
1990 |
DBLP DOI BibTeX RDF |
|
44 | Jim Gray 0001 |
A View of Database System Performance Measures. |
SIGMETRICS |
1987 |
DBLP DOI BibTeX RDF |
|
42 | Abdul Adeel Mohammed, Rashid Minhas, Q. M. Jonathan Wu, Maher A. Sid-Ahmed |
Fingerprint image compression standard based on wave atoms decomposition and self organizing feature map. |
EIT |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Pierre Leveau, Emmanuel Vincent 0001, Gaël Richard, Laurent Daudet |
Instrument-Specific Harmonic Atoms for Mid-Level Music Representation. |
IEEE Trans. Speech Audio Process. |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
42 | V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic Programs With Monotone Cardinality Atoms. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Roberto Tonelli, Leon O. Chua, Franco Meloni |
Mapping atoms to nonlinear Chua's circuits. |
ISCAS (3) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Marek Chrobak, Christoph Dürr |
Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness Proof for Three Atoms. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
41 | Thomas Lindgren |
Atom garbage collection. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
memory management, atoms, incremental garbage collection |
41 | Andrea Capotorti, Barbara Vantaggi |
A general interpretation of conditioning and its implication on coherence. |
Soft Comput. |
1999 |
DBLP DOI BibTeX RDF |
Conditional event algebra, coherent conditional probability assessments, conditional atoms, MV-algebras |
41 | Vishwani D. Agrawal, Srimat T. Chakradhar |
Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
synchronized iterative algorithms, performanceevaluation technique, fixed probability, periodic instances, computational activity, binomial random variable, multiprocessorsystem, maximum order-statistic, theoretical performance, logicsimulation, production VLSI chips, performance evaluation, parallel algorithms, parallel processing, synchronizations, iterative methods, statistics, statistical model, atoms, random variables, computational effort, parallelmachines |
39 | Yumiko Mori |
Atoms of Bonding: Communication Components Bridging Children Worldwide (Invited Talk). |
IWIC |
2007 |
DBLP DOI BibTeX RDF |
atoms of bonding, simultaneous activity, CMC, Pictogram, intercultural communication |
35 | Frédéric Giroire, Jaideep Chandrashekar, Nina Taft, Eve M. Schooler, Dina Papagiannaki |
Exploiting Temporal Persistence to Detect Covert Botnet Channels. |
RAID |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Bob L. Sturm, John J. Shynk, Laurent Daudet, Curtis Roads |
Dark Energy in Sparse Atomic Estimations. |
IEEE Trans. Speech Audio Process. |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Emilia Oikarinen, Tomi Janhunen |
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Fangkai Yang, Xiaoping Chen |
Integrating Rules and Description Logics with Circumscription for the Semantic Web. |
RuleML |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami |
Detecting Atomicity Errors in Message Passing Programs. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Ivana Tosic, Pascal Frossard, Pierre Vandergheynst |
Progressive Coding of 3-D Objects Based on Overcomplete Decompositions. |
IEEE Trans. Circuits Syst. Video Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Maribel Fernández, Murdoch Gabbay |
Curry-Style Types for Nominal Terms. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, rewriting, binding |
35 | Hossein M. Sheini, Karem A. Sakallah |
From Propositional Satisfiability to Satisfiability Modulo Theories. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
35 | John McCarthy 0001 |
Challenges to Machine Learning: Relations Between Reality and Appearance. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Adel Rahmoune, Pierre Vandergheynst, Pascal Frossard |
The M-term pursuit for image representation and progressive compression. |
ICIP (1) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Pierre Garrigues, Avideh Zakhor |
Atom Position Coding in a Matching Pursuit Based Video Coder. |
VLBV |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Tomi Janhunen, Emilia Oikarinen |
Capturing Parallel Circumscription with Disjunctive Logic Programs. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Hans-Joachim Klein 0001 |
Retrieval of Isomorphic Substructures in Crystallographic Databases. |
SSDBM |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Mariusz Milik, Sándor Szalma, Krzysztof A. Olszewski |
FAUST: An Algorithm for Extracting Functionally Relevant Templates from Protein Structures. |
WABI |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Dietmar Seipel |
An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu 0002, Guohua Wu |
Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Yi-Dong Shen, Jia-Huai You |
A Default Approach to Semantics of Logic Programs with Constraint Atoms. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Mark Bickford |
Unguessable Atoms: A Logical Foundation for Security. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Hon Fung Li, Eslam Al Maghayreh |
Checking Distributed Programs with Partially Ordered Atoms. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Deok-Soo Kim, Cheol-Hyung Cho, Youngsong Cho, Chung In Won, Donguk Kim 0001 |
Pocket Recognition on a Protein Using Euclidean Voronoi Diagram of Atoms. |
ICCSA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Deok-Soo Kim, Donguk Kim 0001, Youngsong Cho, Joonghyun Ryu, Cheol-Hyung Cho, Joon Young Park, Hyun-Chan Lee |
Visualization and Analysis of Protein Structures Using Euclidean Voronoi Diagram of Atoms. |
ICCSA (3) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Hiroshi Ishii 0001 |
Tangible bits: designing the seamless interface between people, bits, and atoms. |
IUI |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Vittoria Bruni, Benedetto Piccoli, Domenico Vitulano |
A fast computation method for time scale signal denoising. |
Signal Image Video Process. |
2009 |
DBLP DOI BibTeX RDF |
Image and signal denoising, Time frequency atoms, Time scale trajectories, Modulus maxima representation, Wavelet transform |
32 | Vittoria Bruni, Benedetto Piccoli, Domenico Vitulano |
A Fast Scheme for Multiscale Signal Denoising. |
ICIAR |
2008 |
DBLP DOI BibTeX RDF |
Image and signal denoising, time frequency atoms, time scale trajectories, modulus maxima representation, wavelet transform |
32 | Amr M. Radi, Salah Yaseen El-Bakry |
Genetic programming approach for positron collisions with alkali-metal atom. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
alkali-metal atoms and total collisional cross sections, positron collisions, genetic programming |
32 | Bertrand T. David, Olivier Champalle, Guillaume Masserey, René Chalon |
From Task Model to Wearable Computer Configuration. |
TAMODIA |
2007 |
DBLP DOI BibTeX RDF |
interaction tasks, interaction atoms, wearable computer peripherals, configuration process, interaction techniques, task model |
32 | Deok-Soo Kim, Bohyung Lee, Chung In Won, Donguk Kim 0001, Joonghyun Ryu, Youngsong Cho, Chong-Min Kim, Sunghoon Lee, Jonghwa Bhak |
Multi-Resolution Protein Model. |
ICCSA (2) |
2007 |
DBLP DOI BibTeX RDF |
a protein, a Voronoi diagram of atoms, drug design |
32 | Vítezslav Svejdar |
The decision problem of provability logic with only one atom. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
Provability logic, Propositional atoms, Non-classical logics, Kripke models, Polynomial-space |
32 | Boris A. Romov |
Hyperclones on a Finite Set. |
ISMVL |
1997 |
DBLP DOI BibTeX RDF |
hyperclones, composition-closed sets, multivalued operations, dual atomic, dual atoms, maximal hyperclones, multivalued logic, finite set |
31 | Osita Sunday Nnyigide, Tochukwu Olunna Nnyigide, Sun-Gu Lee, Kyu Hyun |
Protein Repair and Analysis Server: A Web Server to Repair PDB Structures, Add Missing Heavy Atoms and Hydrogen Atoms, and Assign Secondary Structures by Amide Interactions. |
J. Chem. Inf. Model. |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Zikri Altun, Erdi Ata Bleda, Carl Trindle |
Atoms in Highly Symmetric Environments: H in Rhodium and Cobalt Cages, H in an Octahedral Hole in MgO, and Metal Atoms Ca-Zn in C20 Fullerenes. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Tomás Rondik, Pavel Mautner |
Clustering of Gabor Atoms Describing Event-Related Potentials - Solution for ERP Detection Algorithm based on Matching Pursuit when ERP Waveform is Approximated by Two or More Gabor Atoms. |
HEALTHINF |
2013 |
DBLP BibTeX RDF |
|
31 | Francesc Illas, L. Roset, J. M. Ricart, J. Rubio |
Basis-Modified hydrogen atoms as embedding atoms in ab initio chemisorption cluster model calculations on Si surfaces. |
J. Comput. Chem. |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Gerta Rücker, Christoph Rücker |
Computer perception of constitutional (topological) symmetry: TOPSYM, a fast algorithm for partitioning atoms and pairwise relations among atoms into equivalence classes. |
J. Chem. Inf. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Ivana Tosic, Pascal Frossard |
Distributed multi-view image coding with learned dictionaries. |
MobiMedia |
2009 |
DBLP DOI BibTeX RDF |
multi-view images, distributed source coding, sparse approximations |
26 | Haytham Yaghi, Hamid Krim |
Probabilistic graph matching by canonical decomposition. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Murdoch James Gabbay, Martin Hofmann 0001 |
Nominal Renaming Sets. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Nominal renaming sets, nominal sets, abstract syntax with binding |
26 | Emilia Oikarinen, Tomi Janhunen |
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. |
AIMSA |
2008 |
DBLP DOI BibTeX RDF |
Prioritized circumscription, disjunctive stable models, answer set programming, linear transformation |
26 | Namgook Cho, Yu Shiu, C.-C. Jay Kuo |
Efficient music representation with content adaptive dictionaries. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Vittoria Bruni, Domenico Vitulano |
Image Denoising Using Similarities in the Time-Scale Plane. |
ACIVS |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Ming Zhu, Weidong Jin, Laizhao Hu |
Radar emitter signal recognition based on atomic decomposition. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Sudip Seal, Michael Moody, Anna Ceguerra, Simon P. Ringer, Krishna Rajan, Srinivas Aluru |
Tracking Nanostructural Evolution in Alloys: Large-Scale Analysis of Atom Probe Tomography Data on Blue Gene/L. |
ICPP |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Donguk Kim 0001, Changhee Lee, Youngsong Cho, Deok-Soo Kim |
Manifoldization of pi-Shapes by Topology Operators. |
GMP |
2008 |
DBLP DOI BibTeX RDF |
manifoldization, non-manifold, ?-shapes, ?-complex |
26 | Ove Daae Lampe, Ivan Viola, Nathalie Reuter, Helwig Hauser |
Two-Level Approach to Efficient Visualization of Protein Dynamics. |
IEEE Trans. Vis. Comput. Graph. |
2007 |
DBLP DOI BibTeX RDF |
protein dynamics, hardware acceleration, Molecular visualization |
26 | Wolfgang Mühlbauer, Steve Uhlig, Bingjie Fu, Mickael Meulle, Olaf Maennel |
In search for an appropriate granularity to model routing policies. |
SIGCOMM |
2007 |
DBLP DOI BibTeX RDF |
BGP, inter-domain routing, routing policies |
26 | Flavia Moser, Rong Ge 0002, Martin Ester |
Joint cluster analysis of attribute and relationship data withouta-priori specification of the number of clusters. |
KDD |
2007 |
DBLP DOI BibTeX RDF |
graph-structured data, hotspot analysis, joint cluster analysis, clustering, algorithms, community identification |
26 | Sergio Greco, Cristian Molinaro |
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Gexiang Zhang, Haina Rong |
Improved Quantum-Inspired Genetic Algorithm Based Time-Frequency Analysis of Radar Emitter Signals. |
RSKT |
2007 |
DBLP DOI BibTeX RDF |
Quantum-inspired genetic algorithm, time-frequency atom decomposition, radar emitter signal, feature analysis |
26 | Giorgi Japaridze |
Propositional computability logic II. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
interactive algorithms, linear logic, game semantics, Computability logic, computational resources |
26 | Hossein M. Sheini, Karem A. Sakallah |
Ario: A Linear Integer Arithmetic Logic Solver. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Guodong Zhou |
A Chunking Strategy Towards Unknown Word Detection in Chinese Word Segmentation. |
IJCNLP |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Lengning Liu, Miroslaw Truszczynski |
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Emilia Oikarinen, Tomi Janhunen |
circ2dlp - Translating Circumscription into Disjunctive Logic Programming. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Brandstädt, Van Bang Le, Suhail Mahfud |
New Applications of Clique Separator Decomposition for the Maximum Weight Stable Set Problem. |
FCT |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Alexey V. Anikeenko, Marina L. Gavrilova, Nikolai N. Medvedev |
A Novel Delaunay Simplex Technique for Detection of Crystalline Nuclei in Dense Packings of Spheres. |
ICCSA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Peter A. Flach, Nicolas Lachiche |
Naive Bayesian Classification of Structured Data. |
Mach. Learn. |
2004 |
DBLP DOI BibTeX RDF |
first-order features, knowledge representation, inductive logic programming, bayesian classifier, structured data |
26 | V. Wiktor Marek, Jeffrey B. Remmel |
Set Constraints in Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Peter J. Nürnberg, Uffe Kock Wiil, David L. Hicks |
Rethinking structural computing infrastructures. |
Hypertext |
2004 |
DBLP DOI BibTeX RDF |
EAD, structural atom, infrastructure, structural computing |
26 | Alf Gerisch, Anna T. Lawniczak, R. Arief Budiman, Henryk Fuks, Harry E. Ruda |
Surface Roughening in Homoepitaxial Growth: A Lattice Gas Cellular Automaton Model. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Natsuhiko Futamura, Srinivas Aluru, Desh Ranjan, Bhanu Hariharan |
Efficient Parallel Algorithms for Solvent Accessible Surface Area of Proteins. |
IEEE Trans. Parallel Distributed Syst. |
2002 |
DBLP DOI BibTeX RDF |
accessible surface area, parallel algorithm, Monte Carlo, Computational biology, protein folding |
26 | Alexander F. Sax, Thomas Krüger |
Methodological Problems in the Calculations on Amorphous Hydrogenated Silicon, a-Si: H. |
International Conference on Computational Science (3) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Yann Loyer, Umberto Straccia |
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Adelino R. Ferreira da Silva |
A Pursuit Architecture for Signal Analysis. |
EvoWorkshops |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Lee Naish |
A Three-Valued Semantic for Horn Clause Programs. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Takahide Sakata, Hideyuki Takahashi, Tetsu Sekine, Toshiya Ogiwara |
Investigation of Ga Contamination Due to Analysis by Dual Beam FIB. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
FIB, Gallium contamination, Silicon wafer, Ion milling, TRXRF, XPS, WDX, ICP-MS, AES |
26 | Kumar Rajan, Narsingh Deo |
A Parallel Algorithm for Bound-Smoothing. |
IPPS/SPDP |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Paolo Frasconi |
An Introduction to Learning Structured Information. |
Summer School on Neural Networks |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Grant Pogosyan, Akihiro Nozaki |
Join-Irreducible Clones of Multiple-Valued Logic Algebra. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
join-irreducible clones, multiple valued logic algebra, synthetic means, lattice elements, join irreducible elements, unary functions, constructive criteria, graph theoretical property, one variable function, k valued logic, graph theory, set theory, multivalued logic, group theory, monoids, join operation, generating system |
26 | Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli |
A Decision Algorithm for Full Propositional Temporal Logic. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification |
26 | Maurizio Gabbrielli, Giorgio Levi, Daniele Turi |
A Two Steps Semantics for Logic Programs with Negation. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita 0002 |
MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Kanchana Kanchanasut, Peter J. Stuckey |
Eliminating Negation from Normal Logic Programs. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Cliff B. Jones, Ken G. Pierce |
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1346 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|