Sciweavers

2060 search results - page 324 / 412
» Object Tracking by Adaptive Modeling
Sort
View
FSTTCS
2004
Springer
14 years 3 months ago
Who is Pointing When to Whom?
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
ENTCS
2002
127views more  ENTCS 2002»
13 years 9 months ago
A Calculus for "Environment-Aware" Computation
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
Viviana Bono, Ferruccio Damiani, Paola Giannini
COMGEO
1998
ACM
13 years 9 months ago
Variable resolution triangulations
In this paper we introduce variable resolution 4– meshes, a powerful structure for the representation of geometric objects at multiple levels of detail. It combines most propert...
Enrico Puppo
APSEC
2006
IEEE
14 years 4 months ago
Security-Oriented Service Composition and Evolution
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
Jun Han, Khaled M. Khan
ICMLA
2008
13 years 11 months ago
Image Segmentation as Learning on Hypergraphs
In this paper, we propose to use hypergraphs as the model for images and pose image segmentation as a machine learning problem in which some pixels (called seeds) are labeled as t...
Lei Ding, Alper Yilmaz