Sciweavers

1137 search results - page 104 / 228
» Partial Program Admission
Sort
View
82
Voted
WSC
2001
15 years 2 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
77
Voted
ACL
1997
15 years 2 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 2 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...
97
Voted
DEBU
1999
85views more  DEBU 1999»
15 years 9 days 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
122
Voted
PLDI
2009
ACM
15 years 7 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