The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for atoms with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-1980 (15) 1981-1987 (18) 1989-1991 (20) 1992 (15) 1993-1994 (19) 1995-1996 (29) 1997 (23) 1998 (17) 1999 (31) 2000 (30) 2001 (29) 2002 (41) 2003 (50) 2004 (73) 2005 (72) 2006 (75) 2007 (101) 2008 (87) 2009 (85) 2010 (28) 2011 (30) 2012 (30) 2013 (37) 2014 (36) 2015 (39) 2016 (33) 2017 (28) 2018 (44) 2019 (30) 2020 (38) 2021 (55) 2022 (41) 2023 (43) 2024 (4)
Publication types (Num. hits)
article(606) incollection(7) inproceedings(727) phdthesis(6)
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
94Yehuda Afek, Omer Ben-Shalom, Anat Bremler-Barr On the structure and application of BGP policy atoms. Search on Bibsonomy Internet Measurement Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF policy routing, routing protocols, BGP
77Joshua L. Payne, Margaret J. Eppstein A hybrid genetic algorithm with pattern search for finding heavy atoms in protein crystals. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF crystallographic phasing, heavy atom method, isomorphous replacement, phase problem, genetic algorithms, pattern search, hybrid evolutionary algorithms, crystallography
61Sam Bryfczynski OrganicPad: a tablet PC based chemistry tool. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Hon Fung Li, Eslam Al Maghayreh Using synchronized atoms to check distributed programs. Search on Bibsonomy ICPADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Joonghyun Ryu, Rhohun Park, Deok-Soo Kim Connolly Surface on an Atomic Structure via Voronoi Diagram of Atoms. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Connolly/molecular surface, Voronoi diagram of atoms, protein, ?-shape, blending surface
53Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Mounira Belmesk An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
51Jeongyeon Seo, Donguk Kim 0001, Cheol-Hyung Cho, Deok-Soo Kim A beta-Shape from the Voronoi Diagram of Atoms for Protein Structure Analysis. Search on Bibsonomy ICCSA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Voronoi diagram of spheres, ?-shape, ?-shape, ?-complex, ?-complex
50Joonghyun Ryu, Rhohun Park, Jeongyeon Seo, Chong-Min Kim, Hyun-Chan Lee, Deok-Soo Kim Real-Time Triangulation of Molecular Surfaces. Search on Bibsonomy ICCSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF a protein, a molecular surface, a Voronoi diagram of atoms, ?-shape
50John S. Conery, Warner L. Peticolas, Thomas Rush III, Kesavan Shanmugam, Jose Dominguez A parallel algorithm for calculating the potential energy in DNA. Search on Bibsonomy HICSS (5) The full citation details ... 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
44Chandrajit L. Bajaj, Rezaul Alam Chowdhury, Muhibur Rasheed A dynamic data structure for flexible molecular maintenance and informatics. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2009 DBLP  DOI  BibTeX  RDF de novo drug design, computer aided design, shape modeling, protein folding, molecular docking, interactive software
44Ivana Tosic, Pascal Frossard Geometry-Based Distributed Scene Representation With Omnidirectional Vision Sensors. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Ivana Tosic, Pascal Frossard Wyner-Ziv Coding of Multi-View Omnidirectional Imageswith Overcomplete Decompositions. Search on Bibsonomy ICIP (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Christine Wei Wu Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Vishwani D. Agrawal, Srimat T. Chakradhar Performance estimation in a massively parallel system. Search on Bibsonomy SC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
44Jim Gray 0001 A View of Database System Performance Measures. Search on Bibsonomy SIGMETRICS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
42Abdul 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. Search on Bibsonomy EIT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Pierre Leveau, Emmanuel Vincent 0001, Gaël Richard, Laurent Daudet Instrument-Specific Harmonic Atoms for Mid-Level Music Representation. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo Decidability results for sets with atoms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
42V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic Programs With Monotone Cardinality Atoms. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Roberto Tonelli, Leon O. Chua, Franco Meloni Mapping atoms to nonlinear Chua's circuits. Search on Bibsonomy ISCAS (3) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Marek Chrobak, Christoph Dürr Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness Proof for Three Atoms. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Thomas Lindgren Atom garbage collection. Search on Bibsonomy Erlang Workshop The full citation details ... 2005 DBLP  DOI  BibTeX  RDF memory management, atoms, incremental garbage collection
41Andrea Capotorti, Barbara Vantaggi A general interpretation of conditioning and its implication on coherence. Search on Bibsonomy Soft Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Conditional event algebra, coherent conditional probability assessments, conditional atoms, MV-algebras
41Vishwani D. Agrawal, Srimat T. Chakradhar Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
39Yumiko Mori Atoms of Bonding: Communication Components Bridging Children Worldwide (Invited Talk). Search on Bibsonomy IWIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF atoms of bonding, simultaneous activity, CMC, Pictogram, intercultural communication
35Frédéric Giroire, Jaideep Chandrashekar, Nina Taft, Eve M. Schooler, Dina Papagiannaki Exploiting Temporal Persistence to Detect Covert Botnet Channels. Search on Bibsonomy RAID The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Bob L. Sturm, John J. Shynk, Laurent Daudet, Curtis Roads Dark Energy in Sparse Atomic Estimations. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Emilia Oikarinen, Tomi Janhunen A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Fangkai Yang, Xiaoping Chen Integrating Rules and Description Logics with Circumscription for the Semantic Web. Search on Bibsonomy RuleML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami Detecting Atomicity Errors in Message Passing Programs. Search on Bibsonomy PDCAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Ivana Tosic, Pascal Frossard, Pierre Vandergheynst Progressive Coding of 3-D Objects Based on Overcomplete Decompositions. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Maribel Fernández, Murdoch Gabbay Curry-Style Types for Nominal Terms. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphism, type inference, rewriting, binding
35Hossein M. Sheini, Karem A. Sakallah From Propositional Satisfiability to Satisfiability Modulo Theories. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35John McCarthy 0001 Challenges to Machine Learning: Relations Between Reality and Appearance. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Adel Rahmoune, Pierre Vandergheynst, Pascal Frossard The M-term pursuit for image representation and progressive compression. Search on Bibsonomy ICIP (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Pierre Garrigues, Avideh Zakhor Atom Position Coding in a Matching Pursuit Based Video Coder. Search on Bibsonomy VLBV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Tomi Janhunen, Emilia Oikarinen Capturing Parallel Circumscription with Disjunctive Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Hans-Joachim Klein 0001 Retrieval of Isomorphic Substructures in Crystallographic Databases. Search on Bibsonomy SSDBM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Mariusz Milik, Sándor Szalma, Krzysztof A. Olszewski FAUST: An Algorithm for Extracting Functionally Relevant Templates from Protein Structures. Search on Bibsonomy WABI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Dietmar Seipel An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. Search on Bibsonomy LPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu 0002, Guohua Wu Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. Search on Bibsonomy TAMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Yi-Dong Shen, Jia-Huai You A Default Approach to Semantics of Logic Programs with Constraint Atoms. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Mark Bickford Unguessable Atoms: A Logical Foundation for Security. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Hon Fung Li, Eslam Al Maghayreh Checking Distributed Programs with Partially Ordered Atoms. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Deok-Soo Kim, Cheol-Hyung Cho, Youngsong Cho, Chung In Won, Donguk Kim 0001 Pocket Recognition on a Protein Using Euclidean Voronoi Diagram of Atoms. Search on Bibsonomy ICCSA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Deok-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. Search on Bibsonomy ICCSA (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Hiroshi Ishii 0001 Tangible bits: designing the seamless interface between people, bits, and atoms. Search on Bibsonomy IUI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Vittoria Bruni, Benedetto Piccoli, Domenico Vitulano A fast computation method for time scale signal denoising. Search on Bibsonomy Signal Image Video Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Image and signal denoising, Time frequency atoms, Time scale trajectories, Modulus maxima representation, Wavelet transform
32Vittoria Bruni, Benedetto Piccoli, Domenico Vitulano A Fast Scheme for Multiscale Signal Denoising. Search on Bibsonomy ICIAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Image and signal denoising, time frequency atoms, time scale trajectories, modulus maxima representation, wavelet transform
32Amr M. Radi, Salah Yaseen El-Bakry Genetic programming approach for positron collisions with alkali-metal atom. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF alkali-metal atoms and total collisional cross sections, positron collisions, genetic programming
32Bertrand T. David, Olivier Champalle, Guillaume Masserey, René Chalon From Task Model to Wearable Computer Configuration. Search on Bibsonomy TAMODIA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interaction tasks, interaction atoms, wearable computer peripherals, configuration process, interaction techniques, task model
32Deok-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. Search on Bibsonomy ICCSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF a protein, a Voronoi diagram of atoms, drug design
32Vítezslav Svejdar The decision problem of provability logic with only one atom. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Provability logic, Propositional atoms, Non-classical logics, Kripke models, Polynomial-space
32Boris A. Romov Hyperclones on a Finite Set. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF hyperclones, composition-closed sets, multivalued operations, dual atomic, dual atoms, maximal hyperclones, multivalued logic, finite set
31Osita 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. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Zikri 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. Search on Bibsonomy Symmetry The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
31Tomá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. Search on Bibsonomy HEALTHINF The full citation details ... 2013 DBLP  BibTeX  RDF
31Francesc 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. Search on Bibsonomy J. Comput. Chem. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Gerta 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. Search on Bibsonomy J. Chem. Inf. Comput. Sci. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Ivana Tosic, Pascal Frossard Distributed multi-view image coding with learned dictionaries. Search on Bibsonomy MobiMedia The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-view images, distributed source coding, sparse approximations
26Haytham Yaghi, Hamid Krim Probabilistic graph matching by canonical decomposition. Search on Bibsonomy ICIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Murdoch James Gabbay, Martin Hofmann 0001 Nominal Renaming Sets. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nominal renaming sets, nominal sets, abstract syntax with binding
26Emilia Oikarinen, Tomi Janhunen Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. Search on Bibsonomy AIMSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Prioritized circumscription, disjunctive stable models, answer set programming, linear transformation
26Namgook Cho, Yu Shiu, C.-C. Jay Kuo Efficient music representation with content adaptive dictionaries. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Vittoria Bruni, Domenico Vitulano Image Denoising Using Similarities in the Time-Scale Plane. Search on Bibsonomy ACIVS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Ming Zhu, Weidong Jin, Laizhao Hu Radar emitter signal recognition based on atomic decomposition. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Sudip 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. Search on Bibsonomy ICPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Donguk Kim 0001, Changhee Lee, Youngsong Cho, Deok-Soo Kim Manifoldization of pi-Shapes by Topology Operators. Search on Bibsonomy GMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF manifoldization, non-manifold, ?-shapes, ?-complex
26Ove Daae Lampe, Ivan Viola, Nathalie Reuter, Helwig Hauser Two-Level Approach to Efficient Visualization of Protein Dynamics. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF protein dynamics, hardware acceleration, Molecular visualization
26Wolfgang Mühlbauer, Steve Uhlig, Bingjie Fu, Mickael Meulle, Olaf Maennel In search for an appropriate granularity to model routing policies. Search on Bibsonomy SIGCOMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF BGP, inter-domain routing, routing policies
26Flavia Moser, Rong Ge 0002, Martin Ester Joint cluster analysis of attribute and relationship data withouta-priori specification of the number of clusters. Search on Bibsonomy KDD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graph-structured data, hotspot analysis, joint cluster analysis, clustering, algorithms, community identification
26Sergio Greco, Cristian Molinaro Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Gexiang Zhang, Haina Rong Improved Quantum-Inspired Genetic Algorithm Based Time-Frequency Analysis of Radar Emitter Signals. Search on Bibsonomy RSKT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Quantum-inspired genetic algorithm, time-frequency atom decomposition, radar emitter signal, feature analysis
26Giorgi Japaridze Propositional computability logic II. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interactive algorithms, linear logic, game semantics, Computability logic, computational resources
26Hossein M. Sheini, Karem A. Sakallah Ario: A Linear Integer Arithmetic Logic Solver. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Guodong Zhou A Chunking Strategy Towards Unknown Word Detection in Chinese Word Segmentation. Search on Bibsonomy IJCNLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Lengning Liu, Miroslaw Truszczynski Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Emilia Oikarinen, Tomi Janhunen circ2dlp - Translating Circumscription into Disjunctive Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Andreas Brandstädt, Van Bang Le, Suhail Mahfud New Applications of Clique Separator Decomposition for the Maximum Weight Stable Set Problem. Search on Bibsonomy FCT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Alexey V. Anikeenko, Marina L. Gavrilova, Nikolai N. Medvedev A Novel Delaunay Simplex Technique for Detection of Crystalline Nuclei in Dense Packings of Spheres. Search on Bibsonomy ICCSA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Peter A. Flach, Nicolas Lachiche Naive Bayesian Classification of Structured Data. Search on Bibsonomy Mach. Learn. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF first-order features, knowledge representation, inductive logic programming, bayesian classifier, structured data
26V. Wiktor Marek, Jeffrey B. Remmel Set Constraints in Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Peter J. Nürnberg, Uffe Kock Wiil, David L. Hicks Rethinking structural computing infrastructures. Search on Bibsonomy Hypertext The full citation details ... 2004 DBLP  DOI  BibTeX  RDF EAD, structural atom, infrastructure, structural computing
26Alf Gerisch, Anna T. Lawniczak, R. Arief Budiman, Henryk Fuks, Harry E. Ruda Surface Roughening in Homoepitaxial Growth: A Lattice Gas Cellular Automaton Model. Search on Bibsonomy ACRI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Natsuhiko Futamura, Srinivas Aluru, Desh Ranjan, Bhanu Hariharan Efficient Parallel Algorithms for Solvent Accessible Surface Area of Proteins. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF accessible surface area, parallel algorithm, Monte Carlo, Computational biology, protein folding
26Alexander F. Sax, Thomas Krüger Methodological Problems in the Calculations on Amorphous Hydrogenated Silicon, a-Si: H. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Yann Loyer, Umberto Straccia Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Adelino R. Ferreira da Silva A Pursuit Architecture for Signal Analysis. Search on Bibsonomy EvoWorkshops The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Lee Naish A Three-Valued Semantic for Horn Clause Programs. Search on Bibsonomy ACSC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Takahide Sakata, Hideyuki Takahashi, Tetsu Sekine, Toshiya Ogiwara Investigation of Ga Contamination Due to Analysis by Dual Beam FIB. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF FIB, Gallium contamination, Silicon wafer, Ion milling, TRXRF, XPS, WDX, ICP-MS, AES
26Kumar Rajan, Narsingh Deo A Parallel Algorithm for Bound-Smoothing. Search on Bibsonomy IPPS/SPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Paolo Frasconi An Introduction to Learning Structured Information. Search on Bibsonomy Summer School on Neural Networks The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Grant Pogosyan, Akihiro Nozaki Join-Irreducible Clones of Multiple-Valued Logic Algebra. Search on Bibsonomy ISMVL The full citation details ... 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
26Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli A Decision Algorithm for Full Propositional Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification
26Maurizio Gabbrielli, Giorgio Levi, Daniele Turi A Two Steps Semantics for Logic Programs with Negation. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita 0002 MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26Kanchana Kanchanasut, Peter J. Stuckey Eliminating Negation from Normal Logic Programs. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24Cliff B. Jones, Ken G. Pierce Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Search on Bibsonomy ABZ The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license