2853 search results - page 147 / 571 » On Coherence in Computer Algebra |
124
click to vote
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
124
Voted
MFCS
1998
Springer
15 years 8 months ago
1998
Springer
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...
116
click to vote
CLOUDCOM
2009
Springer
15 years 11 months ago
2009
Springer
We describe a privacy manager for cloud computing, which reduces the risk to the cloud computing user of their private data being stolen or misused, and also assists the cloud comp...
126
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of fitting a conic to a set of 2D points. It is commonly agreed that minimizing geometrical error, i.e. the sum of squared distances between the points and...
112
click to vote
JSC
2002
15 years 4 months ago
2002
This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a new data structure for an R-class in terms of...