Sciweavers

1458 search results - page 31 / 292
» Monads for incremental computing
Sort
View
TCS
2010
13 years 8 months ago
CSP duality and trees of bounded pathwidth
We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of...
Catarina Carvalho, Víctor Dalmau, Andrei A....
SAC
2005
ACM
14 years 3 months ago
Incremental profile learning based on a reinforcement method
Hamid Tebri, Mohand Boughanem, Claude Chrisment