3624 search results - page 212 / 725 » Abstract Algebraic Logic |
176
click to vote
FQAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A temporal question answering system must be able to deduce which qualitative temporal relation holds between two events, a reasoning task that is complicated by the fact...
165
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
141
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. Kummer type formulas are identities of hypergeometric series. A symmetry by the permutations of n-letters yields these formulas. We will present an algorithmic method to ...
149
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...
250
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...