2489 search results - page 416 / 498 » On the Subgroup Distance Problem |
119
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
130
click to vote
IDMS
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we propose a new paradigm for local communication between devices in Ubiquitous Computing environments, assuming a multitude of computerized everyday appliances comm...
ISLPED
1995
ACM
15 years 3 months ago
1995
ACM
Analog techniques can lead to ultra-efficient computational systems when applied to the right applications. The problem of associative memory is well suited to array-based analog ...
127
click to vote
SIGGRAPH
1995
ACM
15 years 3 months ago
1995
ACM
This paper presents a hybrid model for animation of soft inelastic substance which undergo topological changes, e.g. separation and fusion and which fit with the objects they are...
BMVC
2001
15 years 2 months ago
2001
This paper describes an algorithm for shape estimation in cluttered scenes. A new image potential is defined based on strokes detected in the image. The motivation is simple. Fea...