Sciweavers

704 search results - page 107 / 141
» A Note on Typing Feature Structures
Sort
View
ICFP
2010
ACM
15 years 3 months ago
A fresh look at programming with names and binders
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
Nicolas Pouillard, François Pottier
IR
2008
15 years 1 months ago
Output-sensitive autocompletion search
We consider the following autocompletion search scenario: imagine a user of a search engine typing a query; then with every keystroke display those completions of the last query wo...
Holger Bast, Christian Worm Mortensen, Ingmar Webe...
ASUNAM
2011
IEEE
14 years 1 months ago
Multi-relational Link Prediction in Heterogeneous Information Networks
Abstract—Many important real-world systems, modeled naturally as complex networks, have heterogeneous interactions and complicated dependency structures. Link prediction in such ...
Darcy A. Davis, Ryan Lichtenwalter, Nitesh V. Chaw...
BMCBI
2007
112views more  BMCBI 2007»
15 years 2 months ago
PFAAT version 2.0: A tool for editing, annotating, and analyzing multiple sequence alignments
Background: By virtue of their shared ancestry, homologous sequences are similar in their structure and function. Consequently, multiple sequence alignments are routinely used to ...
Daniel R. Caffrey, Paul H. Dana, Vidhya Mathur, Ma...
BMCBI
2005
100views more  BMCBI 2005»
15 years 1 months ago
EvDTree: structure-dependent substitution profiles based on decision tree classification of 3D environments
Background: Structure-dependent substitution matrices increase the accuracy of sequence alignments when the 3D structure of one sequence is known, and are successful e.g. in fold ...
Jean-Christophe Gelly, Laurent Chiche, Jér&...