4397 search results - page 361 / 880 » Relational Algebra Operations |
140
click to vote
ACS
2008
15 years 5 months ago
2008
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
159
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The algorithms in the current sequential numerical linear algebra libraries (e.g. LAPACK) do not parallelize well on multicore architectures. A new family of algorithms, the tile a...
138
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
153
Voted
IANDC
2006
15 years 5 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
236
click to vote
CPHYSICS
2007
15 years 5 months ago
2007
Python is a relatively new computing language, created by Guido van Rossum (Tanenbaum et al, 1990), which is particularly suitable for teaching a course in computational physics. ...