511 search results - page 78 / 103 » Spelling Correction Using Context |
SIGDOC
2006
ACM
15 years 6 months ago
2006
ACM
While earlier work provided a partial view of users’ preferences about manuals, for most users in most work contexts the important question remains open: What do users want in d...
100
Voted
SIGIR
2006
ACM
15 years 6 months ago
2006
ACM
In interactive question answering (QA), users and systems take turns to ask questions and provide answers. In such an interactive setting, user questions largely depend on the ans...
106
click to vote
ICEBE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
IWIA
2005
IEEE
15 years 6 months ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
85
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...