4743 search results - page 292 / 949 » The PlusCal Algorithm Language |
139
click to vote
TCS
2008
15 years 3 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
106
click to vote
IR
2007
15 years 3 months ago
2007
In information retrieval, the cluster hypothesis states: closely related documents tend to be relevant to the same request. We exploit this hypothesis directly by adjusting queryb...
145
click to vote
ANSOFT
2002
15 years 3 months ago
2002
Communication with XML often involves pre-agreed document types. In this paper, we propose an offline parser generation approach to enhance online processing performance for docum...
151
click to vote
COLING
2002
15 years 3 months ago
2002
While Named Entity extraction is useful in many natural language applications, the coarse categories that most NE extractors work with prove insufficient for complex applications ...
126
click to vote
CSUR
2000
15 years 3 months ago
2000
: Constraint satisfaction programming (CSP) is a powerful paradigm for solving complex combinatorial problems, which has gained a lot of attention recently. Putting the power of co...