2129 search results - page 316 / 426 » Cutting-Edge Timing Analysis Techniques |
167
click to vote
ENGL
2007
15 years 6 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
213
click to vote
TDSC
2008
15 years 6 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
172
click to vote
JMM2
2007
15 years 6 months ago
2007
— The automatic extraction and analysis of visual information is becoming generalised. The first step in this processing chain is usually separating or segmenting the captured v...
176
click to vote
IJRR
2002
15 years 6 months ago
2002
We study the path planning problem, without obstacles, for closed kinematic chains with n links connected by spherical joints in space or revolute joints in the plane. The configu...
213
click to vote
EUROMED
2010
15 years 4 months ago
2010
In the last years the Geomatic Research Group of the Politecnico di Torino faced some new research topics about new instruments for point cloud generation (e.g. Time of Flight came...