1730 search results - page 195 / 346 » Algebra and Computation |
144
click to vote
ICSOC
2010
Springer
15 years 2 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...
142
click to vote
TCS
2010
15 years 2 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...
163
click to vote
ACS
2011
14 years 11 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...
125
click to vote
INDOCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
We develop an improved cost function to be used in simulated annealing followed by hill-climbing to find Boolean functions satisfying multiple desirable criteria such as high nonli...
114
click to vote
APAL
2010
15 years 4 months ago
2010
We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of ...