Sciweavers

42738 search results - page 186 / 8548
» Search Computing Systems
Sort
View
153
Voted
BMCBI
2008
155views more  BMCBI 2008»
15 years 3 months ago
ComPath: comparative enzyme analysis and annotation in pathway/subsystem contexts
Background: Once a new genome is sequenced, one of the important questions is to determine the presence and absence of biological pathways. Analysis of biological pathways in a ge...
Kwangmin Choi, Sun Kim
112
Voted
WWW
2004
ACM
16 years 4 months ago
Automatic extraction of web search interfaces for interface schema integration
This paper provides an overview of a technique for extracting information from the Web search interfaces of e-commerce search engines that is useful for supporting automatic searc...
Hai He, Weiyi Meng, Clement T. Yu, Zonghuan Wu
ENTCS
2002
91views more  ENTCS 2002»
15 years 3 months ago
Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
Brigitte Pientka
SIGMOD
2010
ACM
166views Database» more  SIGMOD 2010»
15 years 1 months ago
Efficient two-sided error-tolerant search
We consider fast two-sided error-tolerant search that is robust against errors both on the query side (type alogrithm, find documents with algorithm) as well as on the document si...
Hannah Bast, Marjan Celikik
171
Voted
DNA
2007
Springer
176views Bioinformatics» more  DNA 2007»
15 years 9 months ago
Asynchronous Spiking Neural P Systems: Decidability and Undecidability
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
Matteo Cavaliere, Ömer Egecioglu, Oscar H. Ib...