5647 search results - page 65 / 1130 » A word from the editor |
ACL
2006
13 years 10 months ago
2006
Subjectivity and meaning are both important properties of language. This paper explores their interaction, and brings empirical evidence in support of the hypotheses that (1) subj...
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
TSD
2001
Springer
14 years 1 months ago
2001
Springer
Two kinds of systems have been defined during the long history of WSD: principled systems that define which knowledge types are useful for WSD, and robust systems that use the info...
CHI
1995
ACM
14 years 14 days ago
1995
ACM
This paper describes a technique for making personalized recommendations from any type of database to a user based on similarities between the interest pro le of that user and tho...
LICS
1991
IEEE
14 years 13 days ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...