1226 search results - page 101 / 246 » Generating Abstractions from Static Domain Analysis |
120
Voted
RE
2006
Springer
15 years 2 months ago
2006
Springer
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
133
Voted
NAR
2006
15 years 2 months ago
2006
Multiple sequence alignment programs are an invaluable tool in computational biology. A-Bruijn Alignment (ABA) is a method for multiple sequence alignment that represents an align...
94
Voted
ECML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...
138
Voted
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
120
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...