Sciweavers

642 search results - page 16 / 129
» corr 2006
Sort
View
CORR
2006
Springer
84views Education» more  CORR 2006»
14 years 10 months ago
On the freeze quantifier in Constraint LTL: decidability and complexity
Stéphane Demri, Ranko Lazic, David Nowak
CORR
2006
Springer
83views Education» more  CORR 2006»
14 years 10 months ago
Challenging the principle of compositionality in interpreting natural language texts
Françoise Gayral, Daniel Kayser, Fran&ccedi...
CORR
2006
Springer
71views Education» more  CORR 2006»
14 years 10 months ago
On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures
Laurent Boyer, Victor Poupet, Guillaume Theyssier