244 search results - page 13 / 49 » ai 2008 |
113
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
139
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We combine Artificial Immune Systems (AIS) technology with Collaborative Filtering (CF) and use it to build a movie recommendation system. We already know that Artificial Immune Sy...
169
click to vote
AAAI
2008
15 years 5 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
135
click to vote
AIIDE
2008
15 years 6 months ago
2008
Artificial intelligence (AI) technology can have a dramatic impact on the quality of video games. AI planning techniques are useful in a wide range of game components, including m...
138
Voted
ACL
2008
15 years 5 months ago
2008
In this paper, we propose a linguistically annotated reordering model for BTG-based statistical machine translation. The model incorporates linguistic knowledge to predict orders ...