2501 search results - page 110 / 501 » Logics with Rank Operators |
88
Voted
IMPERIAL
1994
15 years 4 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
102
click to vote
ENTCS
2008
15 years 27 days ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
113
Voted
LOGCOM
2010
14 years 11 months ago
2010
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
89
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this work we derive the maximum likelihood estimator for passive wavefront curvature ranging systems operating in environments subject to a spatial coherence loss. As a consequ...
111
click to vote
SIGMOD
2004
ACM
16 years 29 days ago
2004
ACM
Querying XML data is a well-explored topic with powerful databasestyle query languages such as XPath and XQuery set to become W3C standards. An equally compelling paradigm for que...