Sciweavers

1137 search results - page 104 / 228
» Partial Program Admission
Sort
View
WSC
2001
14 years 3 days 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
14 years 3 days 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
14 years 2 days 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»
13 years 10 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
14 years 5 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