Sciweavers

4463 search results - page 318 / 893
» computing 2000
Sort
View
IFIPTCS
2000
15 years 10 months ago
Ambient Groups and Mobility Types
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
CG
2000
Springer
15 years 6 months ago
Chaotic attractors with cyclic symmetry revisited
Chaotic attractors generated by the iteration of polynomial functions with cyclic symmetry have been the subject of recent study. A new formulation is investigated which generates ...
Kevin C. Jones, Clifford A. Reiter
DSVIS
2000
Springer
15 years 11 months ago
SUIT - Context Sensitive Evaluation of User Interface Development Tools
Developers of interactive software are confronted by a variety of software tools to help them design and implement user interfaces. They often resort to ad hoc means of tool select...
Joanna Lumsden, Philip D. Gray
CVPR
2000
IEEE
16 years 8 months ago
Mixture Models and the Segmentation of Multimodal Textures
A problem of using mixture-of-Gaussian models for unsupervised texturesegmentationisthat "multimodal"textures(such ascan often be encountered in natural images) cannot b...
Roberto Manduchi
BMVC
2000
15 years 8 months ago
Parallel Chains, Delayed Rejection and Reversible Jump MCMC for Object Recognition
We tackle the problem of object recognition using a Bayesian approach. A marked point process [1] is used as a prior model for the (unknown number of) objects. A sample is generat...
M. Harkness, P. Green