826 search results - page 79 / 166 » A computational approach to the design of micromechanical hi... |
CHARME
2001
Springer
14 years 6 days ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
In this note, we propose a method to perform segmentation on the tensor manifold, that is, the space of positive definite matrices of given dimension. In this work, we explicitly ...
NDSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
This paper introduces a novel way to detect metrical structure in music. We introduce a way to compute autocorrelation such that the distribution of energy in phase space is prese...