2935 search results - page 51 / 587 » An Integrated Approach to High Integrity Software Verificati... |
175
click to vote
ISM
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, a new model is proposed for image segmentation that integrates the curve evolution and anisotropic diffusion methods. The curve evolution method, utilizing both grad...
166
click to vote
ASPLOS
1996
ACM
15 years 8 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
136
Voted
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
158
click to vote
CRIWG
2000
15 years 5 months ago
2000
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
126
click to vote
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
The aim of DICE is the improvement of communication between culture-providers (institutions, museums, etc.) and different categories of users (scholars, publishers, culturaltouris...