Sciweavers

642 search results - page 16 / 129
» corr 2006
Sort
View
CORR
2006
Springer
84views Education» more  CORR 2006»
15 years 6 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»
15 years 6 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»
15 years 6 months ago
On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures
Laurent Boyer, Victor Poupet, Guillaume Theyssier