3333 search results - page 536 / 667 » Abstract Proof Search |
137
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
ctural abstractions that were introduced in [17]. Compared with other symmetry-breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodate dynami...
132
click to vote
ATMOS
2008
15 years 6 months ago
2008
Abstract. The search for train connections in state-of-the-art commercial timetable information systems is based on a static schedule. Unfortunately, public transportation systems ...
168
click to vote
IJCAI
1989
15 years 5 months ago
1989
entional user behavior, we need a principled mannerAbstract for relaxing contextual constraints when they are violated.When computer speech recognition is used for problem In order...
156
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Learning in the context of constraint solving is a technique by which previously unknown constraints are uncovered during search and used to speed up subsequent search. R...
254
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: While text-mining and distributed annotation systems both aim at capturing knowledge and presenting it in a standardized form, there have been few attempts to investig...