2935 search results - page 488 / 587 » An Integrated Approach to High Integrity Software Verificati... |
186
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we propose a generalized clustering approach for static data flow subgraphs mapped onto individual processors in Multi-Processor System on Chips (MPSoCs). The goal ...
171
click to vote
AIM
2006
15 years 6 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
194
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a model based approach to the integration of multiple cues for tracking high degree of freedom articulated motions and model refinement. We then apply it to the problem...
141
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Increasing complexity of the functionalities and the resultant growth in number of gates integrated in a chip coupled with shrinking geometries and short cycle time requirements br...
177
click to vote
ICCS
2009
Springer
16 years 14 days ago
2009
Springer
Spatial relations play important role in computer vision, scene analysis, geographic information systems (GIS) and content based image retrieval. Analyzing spatial relations by Fo...