7839 search results - page 118 / 1568 » What's there and what's not |
FOSSACS
2008
Springer
15 years 2 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...
119
click to vote
ACL
2008
15 years 2 months ago
2008
In this work, the problem of extracting phrase translation is formulated as an information retrieval process implemented with a log-linear model aiming for a balanced precision an...
AAAI
2010
15 years 2 months ago
2010
In this paper, we propose a generative model to automatically discover the hidden associations between topics words and opinion words. By applying those discovered hidden associat...
100
click to vote
AGI
2008
15 years 2 months ago
2008
Many problems in AI study can be traced back to the confusion of different research goals. In this paper, five typical ways to define AI are clarified, analyzed, and compared. It i...
131
click to vote
AIA
2007
15 years 2 months ago
2007
Designers aim at fast but low-power consuming integrated circuits. Since high processing speed always comes with high energy demands, the literature provides several ways to reduc...