123 search results - page 14 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
BMCBI
2008
14 years 10 months ago
2008
Background: DNA methylation is an important epigenetic modification of the genome. Abnormal DNA methylation may result in silencing of tumor suppressor genes and is common in a va...
101
click to vote
ICDM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--This paper presents a framework for privacypreserving Gaussian Mixture Model computations. Specifically, we consider a scenario where a central service wants to learn the...
123
click to vote
PKDD
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
SAC
2000
ACM
15 years 1 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
182
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...