5510 search results - page 265 / 1102 » Mathematics |
161
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper shows that a "principle of complete ignorance" plays a central role in decisions based on Dempster belief functions. Such belief functions occur when, in a fi...
157
click to vote
SIBGRAPI
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
166
click to vote
LCPC
1999
Springer
15 years 10 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
161
Voted
CCS
1998
ACM
15 years 10 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
125
click to vote
SIGCSE
1998
ACM
15 years 10 months ago
1998
ACM
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical que...