Sciweavers

4430 search results - page 799 / 886
» Solving Optimization Problems with DLL
Sort
View
131
Voted
QEST
2007
IEEE
15 years 9 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
112
Voted
SMI
2007
IEEE
106views Image Analysis» more  SMI 2007»
15 years 9 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
136
Voted
TASE
2007
IEEE
15 years 9 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 ...
135
Voted
WECWIS
2007
IEEE
80views ECommerce» more  WECWIS 2007»
15 years 9 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...
127
Voted
ATAL
2007
Springer
15 years 9 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...