18 search results - page 3 / 4 » Document Spanners: From Expressive Power to Decision Problem... |
SCCC
2008
IEEE
14 years 1 months ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...
UAI
2003
13 years 8 months ago
2003
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
EUROPKI
2009
Springer
13 years 5 months ago
2009
Springer
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Modern presentation software is still built around interaction metaphors adapted from traditional slide projectors. We provide an analysis of the problems in this application genr...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...