Sciweavers

4235 search results - page 480 / 847
» Process Spaces
Sort
View
ESOP
2000
Springer
15 years 10 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
IJCNN
2000
IEEE
15 years 10 months ago
Competing Hidden Markov Models on the Self-Organizing Map
This paper presents an unsupervised segmentation method for feature sequences based on competitivelearning hidden Markov models. Models associated with the nodes of the Self-Organ...
Panu Somervuo
ICDCS
1995
IEEE
15 years 10 months ago
MASSIVE: A Distributed Virtual Reality System Incorporating Spatial Trading
MASSIVE is a distributed virtual reality system. It provides rich facilities to support user interaction and cooperation via text, audio and graphics media, and interaction is con...
Chris Greenhalgh, Steve Benford
ICSC
1995
Springer
15 years 10 months ago
An Adaptive Supersampling Method
Original z-bu er method is a very ecient method for image generation. The limitation is that it introduces aliases into the output image. Although many di erent kinds of methods h...
Rynson W. H. Lau
VLDB
1995
ACM
96views Database» more  VLDB 1995»
15 years 10 months ago
The Fittest Survives: An Adaptive Approach to Query Optimization
Traditionally, optimizers are “programmed” to optimize queries following a set of buildin procedures. However, optimizers should be robust to its changing environment to gener...
Hongjun Lu, Kian-Lee Tan, Son Dao