1195 search results - page 210 / 239 » Modeling an Algebraic Stepper |
180
click to vote
VMCAI
2010
Springer
16 years 25 days ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
163
click to vote
ICML
2009
IEEE
16 years 19 days ago
2009
IEEE
One of the main problems in probabilistic grammatical inference consists in inferring a stochastic language, i.e. a probability distribution, in some class of probabilistic models...
198
click to vote
IPPS
2009
IEEE
16 years 15 days ago
2009
IEEE
Linear algebra algorithms are fundamental to many computing applications. Modern GPUs are suited for many general purpose processing tasks and have emerged as inexpensive high per...
173
Voted
LICS
2009
IEEE
16 years 14 days ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
140
click to vote
FSEN
2009
Springer
16 years 12 days ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...