Sciweavers

685 search results - page 89 / 137
» Performance of Runtime Optimization on BLAST
Sort
View
DASFAA
2004
IEEE
164views Database» more  DASFAA 2004»
14 years 20 days ago
On Addressing Efficiency Concerns in Privacy-Preserving Mining
Data mining services require accurate input data for their results to be meaningful, but privacy concerns may influence users to provide spurious information. To encourage users to...
Shipra Agrawal, Vijay Krishnan, Jayant R. Haritsa
EWSA
2006
Springer
14 years 18 days ago
Automating the Building of Software Component Architectures
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
Nicolas Desnos, Sylvain Vauttier, Christelle Urtad...
FMCAD
2008
Springer
13 years 10 months ago
Recording Synthesis History for Sequential Verification
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
Alan Mishchenko, Robert K. Brayton
MSV
2007
13 years 10 months ago
Analysis of a Numerical Scheme for Bioheat Simulations of Cryosurgery and its Experimental Validation on a Phantom Material
- As part of an ongoing effort to develop computerized planning tools for cryosurgery, the current study focuses on validating a numerical technique for bioheat transfer simulation...
Michael R. Rossi, Yoed Rabin
ATAL
2010
Springer
13 years 10 months ago
Agents towards vehicle routing problems
A multi-agent VRP solver is presented in this paper. It utilizes the contract-net protocol based allocation and several improvement strategies. It provides the solution with the q...
Jirí Vokrínek, Antonín Komend...