3454 search results - page 270 / 691 » Modern computer algebra |
191
click to vote
ICSOC
2010
Springer
15 years 5 months ago
2010
Springer
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...
179
click to vote
TCS
2010
15 years 5 months ago
2010
We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of...
211
click to vote
FUIN
2010
15 years 4 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
199
click to vote
ACS
2011
15 years 1 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
188
click to vote
CAP
2010
15 years 1 months ago
2010
We present a parallel algorithm for exact division of sparse distributed polynomials on a multicore processor. This is a problem with significant data dependencies, so our solutio...