1636 search results - page 198 / 328 » Reasoning About Quantum Systems |
161
click to vote
IAT
2008
IEEE
16 years 24 days ago
2008
IEEE
Many real–world information needs are naturally formulated as queries with temporal constraints. However, the structured temporal background information needed to support such c...
159
click to vote
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
190
click to vote
SEFM
2008
IEEE
16 years 22 days ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
183
click to vote
QEST
2007
IEEE
16 years 18 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
179
click to vote
ICALP
2007
Springer
16 years 15 days 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...