Sciweavers

685 search results - page 89 / 137
» Performance of Runtime Optimization on BLAST
Sort
View
DASFAA
2004
IEEE
164views Database» more  DASFAA 2004»
15 years 5 months 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
15 years 5 months 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
15 years 3 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
92
Voted
MSV
2007
15 years 2 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
15 years 2 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...