Sciweavers

4430 search results - page 799 / 886
» Solving Optimization Problems with DLL
Sort
View
QEST
2007
IEEE
14 years 4 months ago
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
Peter Kemper, Carsten Tepper
SMI
2007
IEEE
106views Image Analysis» more  SMI 2007»
14 years 4 months ago
Iterative Methods for Improving Mesh Parameterizations
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
Shen Dong, Michael Garland
TASE
2007
IEEE
14 years 4 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
WECWIS
2007
IEEE
80views ECommerce» more  WECWIS 2007»
14 years 4 months ago
Massive Catalog Index based Search for e-Catalog Matching
In e-commerce environment, business partners exchange product information in the form of ecatalogs. Since each business player uses his/her own classification and identification c...
Jae-won Lee, Taehee Lee, Sangkeun Lee, Ok-Ran Jeon...
ATAL
2007
Springer
14 years 4 months ago
SSDPOP: improving the privacy of DCOP with secret sharing
Multi-agent systems designed to work collaboratively with groups of people typically require private information that people will entrust to them only if they have assurance that ...
Rachel Greenstadt, Barbara J. Grosz, Michael D. Sm...