123 search results - page 10 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
BMCBI
2010
14 years 10 months ago
2010
Background: With the biomedical literature continually expanding, searching PubMed for information about specific genes becomes increasingly difficult. Not only can thousands of r...
KDD
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. Most existing search engines employ static ranking algorithms that do not adapt to the specific needs of users. Recently, some researchers have studied the use of clickth...
109
click to vote
CADE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
SBMF
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
FGCS
2007
14 years 9 months ago
2007
Abstract— We describe a grid-based approach for enterprisescale data mining that leverages database technology for I/O parallelism, and on-demand compute servers for compute para...