4212 search results - page 564 / 843 » On Compressible Pairings and Their Computation |
159
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
148
click to vote
FIMH
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...
195
click to vote
3DPVT
2006
IEEE
16 years 25 days ago
2006
IEEE
Interactive network-based navigation over large urban environments raises difficult problems due to the size and complexity of these scenes. In this paper, we present a clientser...
198
click to vote
3DPVT
2006
IEEE
16 years 25 days ago
2006
IEEE
Range sensing technology allows the photorealistic modeling of large-scale scenes, such as urban structures. The generated 3D representations, after automated registration, are us...
168
click to vote
HAPTICS
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper, we propose a new tactile sensor skin system. The system consists of two components. One is a sensor element which detects a contact area in addition to a contact fo...