Sciweavers

6300 search results - page 250 / 1260
» We have it easy, but do we have it right
Sort
View
CONCUR
1999
Springer
15 years 6 months ago
Object Types against Races
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
Cormac Flanagan, Martín Abadi
ASIACRYPT
2008
Springer
15 years 3 months ago
Generalized Identity Based and Broadcast Encryption Schemes
Abstract. We provide a general framework for constructing identitybased and broadcast encryption systems. In particular, we construct a general encryption system called spatial enc...
Dan Boneh, Michael Hamburg
EMNLP
2008
15 years 3 months ago
Computing Word-Pair Antonymy
Knowing the degree of antonymy between words has widespread applications in natural language processing. Manually-created lexicons have limited coverage and do not include most se...
Saif Mohammad, Bonnie J. Dorr, Graeme Hirst
NIPS
2007
15 years 3 months ago
Variational inference for Markov jump processes
Markov jump processes play an important role in a large number of application domains. However, realistic systems are analytically intractable and they have traditionally been ana...
Manfred Opper, Guido Sanguinetti
ACL
2000
15 years 3 months ago
Query-Relevant Summarization using FAQs
This paper introduces a statistical model for query-relevant summarization: succinctly characterizing the relevance of a document to a query. Learning parameter values for the pro...
Adam L. Berger, Vibhu O. Mittal