615 search results - page 14 / 123 » The challenges of automated methods for integrating systems |
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
- Although the emerging three-dimensional integration technology can significantly reduce interconnect delay, chip area, and power dissipation in nanometer technologies, its impact...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
KES
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a completly automated face recognition system integrating both two dimensional (texture) and three dimensional (shape) features. We introduce a novel fusion str...
TFM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...