3573 search results - page 332 / 715 » Reasoning about Codata |
135
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
149
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
153
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
142
click to vote
ICANN
2007
Springer
15 years 11 months ago
2007
Springer
Neurocognitive processes responsible for representation of meaning and understanding of words are investigated. First a review of current knowledge about word representation, recen...
146
Voted
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...