Sciweavers

5284 search results - page 792 / 1057
» Ontologizing Semantic Relations
Sort
View
INTERSPEECH
2010
15 years 1 months ago
What do you mean, you're uncertain?: the interpretation of cue words and rising intonation in dialogue
This paper investigates how rising intonation affects the interpretation of cue words in dialogue. Both cue words and rising intonation express a range of speaker attitudes like u...
Catherine Lai
JLP
2010
59views more  JLP 2010»
15 years 1 months ago
The proof monad
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
Florent Kirchner, César Muñoz
PODS
2008
ACM
170views Database» more  PODS 2008»
16 years 6 months ago
Answering aggregate queries in data exchange
Data exchange, also known as data translation, has been extensively investigated in recent years. One main direction of research has focused on the semantics and the complexity of...
Foto N. Afrati, Phokion G. Kolaitis
WSDM
2010
ACM
227views Data Mining» more  WSDM 2010»
16 years 4 months ago
Folks in folksonomies: Social link prediction from shared metadata
Web 2.0 applications have attracted a considerable amount of attention because their open-ended nature allows users to create lightweight semantic scaffolding to organize and shar...
Rossano Schifanella, Alain Barrat, Ciro Cattuto, B...
PLDI
2009
ACM
16 years 1 months ago
A weakest precondition approach to active attacks analysis
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
Musard Balliu, Isabella Mastroeni