4463 search results - page 395 / 893 » computing 2000 |
174
click to vote
USM
2000
15 years 10 months ago
2000
In the real world there seem to be essential differences between shops, tourist offices, city halls, theatres and museums. However, when we try to design virtual environments allow...
195
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
197
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Video parsing refers to the detection of scene changes and special e ects in the video stream and is used to extract key frames from a video stream. In this paper, we propose paral...
192
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
178
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...