2409 search results - page 156 / 482 » Logical systems for structured specifications |
215
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
In spite of the many decades of progress in database research, surprisingly scientists in the life sciences community still struggle with inefficient and awkward tools for queryin...
169
click to vote
EICS
2010
ACM
15 years 3 months ago
2010
ACM
We propose an automated routine for hierarchical menu structure optimization. A computer advice-giving system founded on the mathematical model of menu navigation directs the desi...
200
click to vote
TCBB
2010
15 years 1 months ago
2010
This paper integrates the signal, context and structure features for genome-wide promoter recognition, which is critical in many DNA sequence analysis tasks. First, CpG islands ar...
274
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
180
click to vote
CIKM
2005
Springer
16 years 14 hour ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...