10500 search results - page 1730 / 2100 » Documentation for |
173
click to vote
CHARME
2003
Springer
16 years 1 days ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
194
click to vote
CIARP
2003
Springer
16 years 1 days ago
2003
Springer
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...
288
click to vote
CIKM
2003
Springer
16 years 1 days ago
2003
Springer
Evaluation of IR systems has always been difficult because of the need for manually assessed relevance judgments. The advent of large editor-driven taxonomies on the web opens the...
230
click to vote
CIKM
2003
Springer
16 years 1 days ago
2003
Springer
There have been several techniques proposed for building statistics for static XML data. However, very little work has been done in the area of building XML statistics for data so...
184
click to vote
CLEF
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...