1730 search results - page 266 / 346 » Algebra and Computation |
135
Voted
COMPGEOM
2006
ACM
15 years 9 months ago
2006
ACM
This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation para...
144
Voted
CAD
1999
Springer
15 years 3 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
169
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
120
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
128
click to vote
ITICSE
2000
ACM
15 years 8 months ago
2000
ACM
We are concerned about a view in undergraduate computer science education, especially in the early courses, that it’s okay to be math-phobic and still prepare oneself to become ...