1449 search results - page 248 / 290 » Answer typing for information retrieval |
120
click to vote
LATIN
2004
Springer
15 years 5 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
103
click to vote
SIGIR
2003
ACM
15 years 5 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
DAWAK
2000
Springer
15 years 4 months ago
2000
Springer
: Data warehouses typically store a multidimensional fact representation of the data that can be used in any type of analysis. Many applications materialize data cubes as multidime...
CSCW
1998
ACM
15 years 4 months ago
1998
ACM
Links between web sites can be seen as evidence of a type of emergent collaboration among web site authors. We report here on an empirical investigation into emergent collaboratio...
AIRWEB
2008
Springer
15 years 1 months ago
2008
Springer
This paper focuses on analyzing (Japanese) splogs based on various characteristics of keywords contained in them. We estimate the behavior of spammers when creating splogs from ot...