1382 search results - page 155 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
SMA
2003
ACM
15 years 3 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
ECCV
2008
Springer
15 years 12 months ago
2008
Springer
Object detection and recognition has achieved a significant progress in recent years. However robust 3D object detection and segmentation in noisy 3D data volumes remains a challen...
WMCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
The development of sensing systems for urban deployments is still in its infancy. An interesting unresolved issue is the precise role assumed by people within such systems. This i...
JLP
2006
14 years 10 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
E4MAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...