Sciweavers

1137 search results - page 104 / 228
» Partial Program Admission
Sort
View
WSC
2001
15 years 4 months ago
Chessboard distributions
We review chessboard distributions for modeling partially specified finite-dimensional random vectors. Chessboard distributions can match a given set of marginals, a given covaria...
Soumyadip Ghosh, Shane G. Henderson
ACL
1997
15 years 4 months ago
Choosing the Word Most Typical in Context Using a Lexical Co-Occurrence Network
This paper presents a partial solution to a component of the problem of lexical choice: choosing the synonym most typical, or expected, in context. We apply a new statistical appr...
Philip Edmonds
ISMB
1993
15 years 4 months ago
A Modular Learning Environment for Protein Modeling
Wepropose in this paper a modularlearning environmentfor proteinmodeling.In this system,the protein modelingproblemis tackledin twosuccessive phases. First, partial structural inf...
Jérôme Gracy, Laurent Chiche, Jean Sa...
DEBU
1999
85views more  DEBU 1999»
15 years 2 months ago
Specifying Database Transformations in WOL
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
Susan B. Davidson, Anthony Kosky
PLDI
2009
ACM
15 years 10 months ago
Proving optimizations correct using parameterized program equivalence
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
Sudipta Kundu, Zachary Tatlock, Sorin Lerner