Sciweavers

7921 search results - page 199 / 1585
» LSH-preserving functions and their applications
Sort
View
MIMI
2007
Springer
16 years 19 days ago
New Doppler-Based Imaging Method in Echocardiography with Applications in Blood/Tissue Segmentation
Abstract. Knowledge Based Imaging is suggested as a method to distinguish blood from tissue signal in transthoracial echocardiography. Parametric model for the autocorrelation func...
Sigve Hovda, Håvard Rue, Bjørn Olstad
IPPS
2005
IEEE
16 years 2 days ago
IPSec Implementation on Xilinx Virtex-II Pro FPGA and Its Application
In this paper, we propose an IPSec implementation on Xilinx Virtex-II Pro FPGA1 . We move the key management and negotiation into software function calls that run on the PowerPC p...
Jing Lu, John W. Lockwood
APLAS
2005
ACM
16 years 2 days ago
Heterogeneous Fixed Points with Application to Points-To Analysis
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
ER
2005
Springer
155views Database» more  ER 2005»
16 years 1 days ago
Applying Transformations to Model Driven Development of Web Applications
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
Santiago Meliá, Jaime Gómez
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
15 years 11 months ago
Development and Application of Design Transformations in ForSyDe
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
Ingo Sander, Axel Jantsch, Zhonghai Lu