Sciweavers

3381 search results - page 18 / 677
» Extending Dependencies with Conditions
Sort
View
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
15 years 4 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
ICA
2012
Springer
13 years 5 months ago
Contrast Functions for Independent Subspace Analysis
We consider the Independent Subspace Analysis problem from the point of view of contrast functions, showing that contrast functions are able to partially solve the ISA problem. Tha...
Jason A. Palmer, Scott Makeig
EMNLP
2010
14 years 8 months ago
It Depends on the Translation: Unsupervised Dependency Parsing via Word Alignment
We reveal a previously unnoticed connection between dependency parsing and statistical machine translation (SMT), by formulating the dependency parsing task as a problem of word a...
Samuel Brody
AI
2004
Springer
14 years 9 months ago
Conditional logic of actions and causation
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
Laura Giordano, Camilla Schwind
EMNLP
2006
14 years 11 months ago
A Skip-Chain Conditional Random Field for Ranking Meeting Utterances by Importance
We describe a probabilistic approach to content selection for meeting summarization. We use skipchain Conditional Random Fields (CRF) to model non-local pragmatic dependencies bet...
Michel Galley