2152 search results - page 207 / 431 » On Automating the Calculus of Relations |
182
click to vote
DEXAW
2007
IEEE
16 years 25 days ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...
159
click to vote
ICDT
2007
ACM
16 years 20 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
185
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
179
click to vote
CEFP
2005
Springer
16 years 1 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
181
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...