Ingvar Eidhammer, David Gilbert, Inge Jonassen, Madu Ratnayake  Home/Search
Context Related
| cs.city.ac.uk/users/drg...199704.ps.gz ii.uib.no/pub/bio/papers...report133.ps soi.city.ac.uk/homes/gespan/...04.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.cs.city.ac.uk/...publications (more) From: ii.uib.no/~inge/papers/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We report an investigation into how constraint solving techniques can be used to search for patterns in sequences (or strings) of symbols over a finite alphabet. We define a constraint-based structure description language for biosequences, and give the definition of an algorithm to solve the structure searching problem as a CSP. The methodology which we have developed is able to describe the two-dimensional structure of biosequences, such as tandem repeats, stem loops, palindromes and... (Update)
Context of citations to this paper: More
...cgggctg at position 26 46 (mismatch of 14 ) in a string of nucleotides from positions 1 60. More complete test results can be found in [14]. Readers can access the Web version of our program at http: www.soi.city.ac.uk drg cgi bin struct form.html We should emphasise that...
.... [10] to clp(FD) Our search engine is based on a CBSDL, a constraint based structure description language for biosequences described in [15] and uses constrained descriptions to search for structures in biosequences, such as tandem repeats, stem loops, palindromes and pseudo...
Cited by: More
Biosequence structure searching using clp(FD) - David Gilbert Ingvar (Correct)
StructWeb: Biosequence structure searching on the Web.. - Gilbert, Eidhammer.. (1997) (Correct)
Similar documents (at the sentence level):
33.3%: A Constraint Based Structure Description Language for.. - Eidhammer, al. (1999) (Correct)
Active bibliography (related documents): More All
0.4: Satisfaction De Contraintes Et Biologie.. - Gaspin.. (Correct)
0.2: The Handbook of Parallel Constraint Logic Programming Applications - (ed.) (1995) (Correct)
0.2: On the Correctness of the Replacement Operation for CLP Modules - Sandro Etalle (1996) (Correct)
Similar documents based on text: More All
1.0: Relation Patterns and their Automatic Discovery in.. - Brazma, Jonassen.. (1997) (Correct)
0.9: Methods for Finding Motifs in Sets of Related Biosequences. - Jonassen (1996) (Correct)
0.9: Approaches to the Automatic Discovery of Patterns in.. - Brazma, Jonassen.. (1995) (Correct)
Related documents from co-citation: More All
5: Constraint logic programming with regular sets (context) - Walinsky, Sigma - 1989
5: Conjunto: constraint logic programming with finite set domains - Gervet - 1994
5: A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
BibTeX entry: (Update)
I. Eidhammer, D. Gilbert, I. Jonassen, and M. Ratnayake. A constraint based structure description language for biosequences. Technical report 1997/04, Department of Computer Science, City University, UK and Department of Informatics, University of Bergen, Norway, 1997. http://citeseer.ist.psu.edu/article/eidhammer97constraint.html More
@article{ eidhammer01constraint,
author = "Ingvar Eidhammer and Inge Jonassen and Svenn Helge Grindhaug and David Gilbert and Madu Ratnayake",
title = "A Constraint Based Structure Description Language for Biosequences",
journal = "Constraints",
volume = "6",
number = "2/3",
pages = "173-200",
year = "2001",
url = "citeseer.ist.psu.edu/article/eidhammer97constraint.html" }
Citations (may not include all citations):473 Foundations of Constraint Satisfaction (context) - Tsang - 1993
380 Constraint Satisfaction in Logic Programming (context) - Hentenryck - 1989
307 Network of constraints: fundamental properties and applicati.. (context) - Montanari - 1974
267 Network-Based heuristics for Constraint-Satisfaction Problem.. (context) - Dechter, Pearl - 1988
211 Hybrid Algorithms for the Constraint Satisfaction Problem (context) - Prosser - 1993
185 A Sufficient Condition for Backtrack-Free Search (context) - Freuder - 1982
127 Constraint Satisfaction Algorithms (context) - Nadel - 1988
119 Contradicting conventional wisdom in constraint satisfaction - Sabin, Freuder - 1994
95 Coding and Information Theory (context) - Hamming - 1982
89 A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
46 Experimental evaluation of preprocessing techniques in const.. (context) - Dechter, Meiri - 1989
42 Dynamic variable ordering in CSPs - Bacchus, van Run - 1995
42 Constraint Satisfaction Problems: An Overview (context) - Meseguer - 1989
41 Relational consistency algorithms and their applications in .. (context) - McGregor - 1979
39 Experimental evaluation of preprocessing algorithms for cons.. (context) - Dechter, Meiri - 1994
39 Consistent-Labeling Problems and their Algorithms: Expected-.. (context) - Nudel - 1983
38 Arc-Consistency and Arc-Consistency again - Bessiere, Cordier - 1993
38 Artificial Intelligence - Cooper, k-Consistency - 1989
37 Overview of the CHIP compiler system (context) - Aggoun, Beldiceanu - 1991
35 Look-ahead value ordering for constraint satisfaction proble.. - Frost, Dechter - 1995
34 The Computational Linguistics of Biological Sequences (context) - Searls - 1995
33 Conjunto: constraint logic programming with finite set domai.. - Gervet - 1994
29 Comments on Mohr and Hendersons's Path Consistency Algorithm (context) - Han, Lee - 1988
28 The cardinality operator: a new logical connective for const.. (context) - Hentenryck, Deville - 1991
28 Nucleic Acids Research (context) - Bairoch, Bucher et al. - 1995
28 Nucleic Acids Research (context) - Bairoch, Bucher et al. - 1995
20 Constraint logic programming with regular sets (context) - Walinsky, Sigma - 1989
19 Object oriented subsystem specification (context) - Schuman, Pitt - 1987
19 ere and J-C. R (context) - Bessi - 1996
19 A general Backtracking Algorithm that Eliminates Most Redund.. (context) - Gaschnig - 1977
18 Operational semantics of constraint logic programming over f.. (context) - Hentenryck, Deville - 1991
18 PALM - a pattern language for molecular biology (context) - Helgesen, Sibbald - 1993
18 MAC-CBJ: maintaining arc consistency with conflict-directed .. - Prosser - 1999
16 A system for pattern matching applications on biosequences - Mehldau, Myers - 1993
15 The combination of symbolic and numerical computation for 3D.. (context) - Major, Turcotte et al. - 1991
11 Searching for Patterns in Protein and Nucleic Acid Sequencie.. (context) - Staden - 1990
10 A syntactic pattern recognition system for DNA sequences - Searls, Dong - 1993
10 Rapid searches for complex patterns in biological molecules (context) - Abarbanel, Eiencke et al. - 1984
9 Applications in constraint logic programming with strings - Rajasekar - 1994
8 Finding the hairpin in the haystack: searching for RNA motif.. (context) - Dandekar, Hebtze - 1995
8 Inferring DNA Structures from Segmentation Data (context) - Stefik - 1978
8 Constraint Logic Programming (context) - Pountain - 1995
8 Genetic Map Construction with Constraints (context) - Clark, Rawlings et al. - 1994
8 Stochastic context-free grammars for tRNA modelling (context) - Sakakibara, Brown et al. - 1994
7 User Manual (context) - ECRC - 1995
7 Protein Topology Prediction through Parallel Constraint Logi.. (context) - Clark, Rawlings et al. - 1993
7 The Determination of the Secondary Structures of RNA as a Co.. (context) - Gaspin, Westhof - 1994
6 Constraint Satisfiability Algorithms for Interactive Student.. (context) - Feldman, Golumbic - 1989
6 Approaches to the automatic discovery of patterns in biosequ.. (context) - Br, Jonassen et al. - 1995
5 The antisense homology box: A new motif within proteins that.. (context) - Baranyi, Campell et al. - 1995
4 Softening constraints in constraint-based protein topology p.. (context) - Parsons - 1995
4 Overseer: a nucleotide sequence searching tool (context) - Sibbald, Sommerfeldt et al. - 1992
4 On Finding All Foldings of an RNA Molecule (context) - Zuker - 1989
4 TOPLAS: ACM Transactions on Programming Languages and System.. (context) - Jaffar, Michayov et al. - 1992
4 Trans-splicing of pre-mRNA is predicted to occur in a wide r.. (context) - Dandekar, Sibbald - 1990
4 Scrutineer: a computer program that flexibly seeks and descr.. (context) - Sibbald, Argos - 1990
3 A Pattern Language for Molecular Biology - Brazma, Gilbert - 1995
3 Extending Constraint Satisfaction Problems with Value Constr.. (context) - Eidhammer - 1993
3 CPRPO: A rule-based program for constructing genetic maps (context) - Letovsky, Berlyn - 1992
3 Symbolic Generation and Clustering of RNA 3D Motifs (context) - Foucrault, Major - 1995
3 Constraint Satisfaction in Molecular Biology (context) - Clark, Rawlings - 1994
3 Constrained Pattern Recognition in Biosequences (context) - Ratnayake - 1996
3 Protein topologi prediction through constraint-based search .. (context) - Clark, Shirazi et al. - 1992
1 Mats Carlsson et alSICStus Prolog User's Manual Version (context) - Carlsson, User et al. - 1997
1 A Theoretical Evolution of Selected Backtracking Algorithms (context) - Gregorz - 1994
1 Enhancedment Schemes for Constraint Processing: Backjumping (context) - Dechter - 1990
Documents on the same site (http://web.cs.city.ac.uk/homes/drg/publications/publications.html): More
New Versions of Ask and Tell for Synchronous.. - Brim, Gilbert.. (1996) (Correct)
Deriving Logic Programs from Observations - Gilbert, Hogger (1993) (Correct)
Transforming Specifications of Observable Behaviour into.. - Gilbert, Hogger, Zlatuska (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC