7167 search results - page 116 / 1434 » A Technique for Invariant Generation |
122
click to vote
ACL
1992
15 years 7 months ago
1992
The IDAS natural-language generation system uses a KL-ONE type classifier to perform content determination, surface realisation, and part of text planning. Generation-by-classific...
173
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
166
click to vote
ACMSE
2006
ACM
16 years 9 days ago
2006
ACM
Reconstructing networks from time series data is a difficult inverse problem. We apply two methods to this problem using co-temporal functions. Co-temporal functions capture mathe...
174
click to vote
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
159
click to vote
CIVR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The vector-space retrieval model and Latent Semantic Indexing approaches to retrieval have been used heavily in the field of text information retrieval over the past yea...