2651 search results - page 323 / 531 » Experiences with the Use of a Configuration Language |
149
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
138
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
165
click to vote
IJCNLP
2004
Springer
15 years 12 months ago
2004
Springer
We present a nearest-neighbor algorithm for resolving prepositional phrase attachment ambiguities. Its performance is significantly higher than previous corpus-based methods for P...
159
click to vote
NLDB
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we explore the potential of concept indexing with WordNet synsets for Text Categorization, in comparison with the traditional bag of words text representation model. ...
177
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
The retrieval of sentences is a core task within Information Retrieval. In this poster we employ a Language Model that incorporates a prior which encodes the importance of sentenc...