2470 search results - page 152 / 494 » Liveness-Preserving Simulation Relations |
101
Voted
ECCV
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper, we show that it is possible to calibrate a camera using just a flat, textureless Lambertian surface and constant illumination. This is done using the effec...
IWAN
2000
Springer
15 years 4 months ago
2000
Springer
A novel approach to quality of service control in an active service network (application layer active network) is described. The approach makes use of a distributed genetic algori...
111
click to vote
HYBRID
1995
Springer
15 years 4 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
93
Voted
ISLPED
1995
ACM
15 years 4 months ago
1995
ACM
Abstract: We describe a technique to estimate the energy consumed by speed-independent asynchronous (clockless) control circuits. Because speed-independent circuits are hazard-free...
142
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Autonomic computing is being advocated as a tool for maintaining and managing large, complex computing systems. Self-organising multi-agent systems provide a suitable par...