3116 search results - page 330 / 624 » Positively dependent types |
170
click to vote
CLEF
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes the architecture of a Bulgarian–Bulgarian question answering system — BulQA. The system relies on a partially parsed corpus for answer extraction. The que...
155
click to vote
COLT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
172
click to vote
IQIS
2004
ACM
16 years 4 days ago
2004
ACM
Data freshness has been identified as one of the most important data quality attributes in information systems. This importance increases particularly in the context of distribute...
197
click to vote
CASSIS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
167
click to vote
PDCAT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper proposes a simplified simultaneous multithreading (SMT) architecture aiming at CPU cores of embedded SoCs for consumer applications. This architecture reduces...