1128 search results - page 167 / 226 » Little Engines of Proof |
137
click to vote
LREC
2010
15 years 6 months ago
2010
Discourse phenomena play a major role in text processing tasks. However, so far relatively little study has been devoted to the relevance of discourse phenomena for inference. The...
110
click to vote
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
Software metrics is vital for the management of software development, especially when a new technology is adopted and established practices have yet to be developed. As a kind of s...
146
click to vote
IM
2007
15 years 6 months ago
2007
—Policy-driven service management helps reduce IT management cost and it keeps the service management aligned with business objectives. While most of the previous research focuse...
141
click to vote
AAAI
2006
15 years 6 months ago
2006
Language engineers often point to tight connections between their systems' linguistic representations and accumulated sensor data as a sign that their systems really mean wha...
132
click to vote
ERSA
2006
15 years 6 months ago
2006
Reconfigurable supercomputing (RSC) combines programmable logic chips with high performance microprocessors, all communicating over a high bandwidth, low latency interconnection n...