368 search results - page 25 / 74 » formats 2004 |
80
Voted
APBC
2004
14 years 11 months ago
2004
Biopathway databases have been developed, such as KEGG and EcoCyc, that compile interaction structures of biopathways together with biological annotations. However, these biopathw...
100
click to vote
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
ACE
2004
14 years 11 months ago
2004
For the last six years, students in the Software Engineering Project course at the University of Tasmania have undertaken projects in teams of four or five members. Since 1998 pee...
ADCS
2004
14 years 11 months ago
2004
Traditional information retrieval (IR) systems respond to user queries with ranked lists of relevant documents. The separation of content and structure in XML documents allows indi...
ICEB
2004
14 years 11 months ago
2004
Previous online reputation research has been focused on the effects of positive and negative reputations on trust formation, trading price, and probability of sale. We propose tha...