3319 search results - page 436 / 664 » Type Theoretical Databases |
NAR
2006
15 years 4 months ago
2006
The Onto-Tools suite is composed of an annotation database and eight complementary, web-accessible data mining tools: Onto-Express, Onto-Compare, Onto-Design, Onto-Translate, Onto...
132
click to vote
NAR
2006
15 years 4 months ago
2006
ACT dbPTM is a database that compiles information on protein post-translational modifications (PTMs), such as the catalytic sites, solvent accessibility of amino acid residues, pro...
141
click to vote
BELL
2000
15 years 4 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
133
click to vote
SIGKDD
2000
15 years 4 months ago
2000
Advances in data collection and storage have allowed organizations to create massive, complex and heterogeneous databases, which have stymied traditional methods of data analysis....
151
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...