9210 search results - page 1589 / 1842 » Analyzing Real-Time Systems |
115
click to vote
EACL
2006
ACL Anthology
15 years 2 months ago
2006
ACL Anthology
This paper addresses the problem of automatically retrieving answers for how-to questions, focusing on those that inquire about the procedure for achieving a specific goal. For su...
101
Voted
FORTE
2004
15 years 2 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
115
click to vote
ICISC
2004
15 years 2 months ago
2004
An identity (ID)-based signature scheme allows any pair of users to verify each other's signatures without exchanging public key certificates. With the advent of Bilinear maps...
101
click to vote
ICMLA
2004
15 years 2 months ago
2004
Expressing web page content in a way that computers can understand is the key to a semantic web. Generating ontological information from the web automatically using machine learni...
102
click to vote
CRIWG
2001
15 years 2 months ago
2001
This paper analyzes some of the factors that prevent knowledge construction and reuse in traditional library settings and describes VRef, an environment designed to provide users ...