8486 search results - page 388 / 1698 » Ordered Enumeration Method |
158
click to vote
AIED
2005
Springer
16 years 29 days ago
2005
Springer
Language training systems that provide learners adaptive questions on the contents of stories require several capabilities such as semantic analysis, automated question generation ...
180
Voted
CHARME
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
191
Voted
CP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
176
click to vote
ICIC
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. As the information in the internet proliferates, the methods for effectively providing the information have been exploited, especially in conversational agents. Bayesian ...
173
click to vote
ISSAC
2005
Springer
16 years 28 days ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...