Sciweavers

5904 search results - page 849 / 1181
» Requirements for a Composition Language
Sort
View
AIED
2005
Springer
16 years 9 days ago
Realizing Adaptive Questions and Answers for ICALL Systems
Language training systems that provide learners adaptive questions on the contents of stories require several capabilities such as semantic analysis, automated question generation ...
Hidenobu Kunichika, Minoru Urushima, Tsukasa Hiras...
CP
2005
Springer
16 years 9 days ago
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
Luca Benini, Davide Bertozzi, Alessio Guerri, Mich...
CP
2005
Springer
16 years 9 days ago
Approximations in Distributed Optimization
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
Adrian Petcu, Boi Faltings
CP
2005
Springer
16 years 9 days ago
Breaking All Value Symmetries in Surjection Problems
We propose a surprisingly simple new way of breaking all value symmetries with constraints. Our method requires the addition of one variable per value of the problem plus a linear ...
Jean-Francois Puget
CP
2005
Springer
16 years 9 days ago
Robust Constraint Solving Using Multiple Heuristics
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...