6618 search results - page 1136 / 1324 » Natural Logic for Natural Language |
178
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
178
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We present a method for automatically acquiring of a corpus of disputed claims from the web. We consider a factual claim to be disputed if a page on the web suggests both that the...
189
click to vote
CASON
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes the functions of a system proposed for the music tube recommendation from social network data base. Such a system enables the automatic collection, evaluation...
154
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
189
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...