Sciweavers

1117 search results - page 174 / 224
» Improving Testing Efficiency using Cumulative Test Analysis
Sort
View
JODS
2006
135views Data Mining» more  JODS 2006»
13 years 8 months ago
Managing Uncertainty in Schema Matching with Top-K Schema Mappings
In this paper, we propose to extend current practice in schema matching with the simultaneous use of top-K schema mappings rather than a single best mapping. This is a natural ext...
Avigdor Gal
JAR
2000
97views more  JAR 2000»
13 years 8 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
GECCO
2007
Springer
180views Optimization» more  GECCO 2007»
14 years 2 months ago
Genetic optimization for yacht design
This paper introduces a procedure for using genetic multiobjective optimization in yacht design. The problem described consists on the optimization of a bulb shape to improve the ...
Paolo Geremia, Mauro Poian, Silvia Poles
ICNP
1999
IEEE
14 years 1 months ago
Automated Protocol Implementations Based on Activity Threads
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
Peter Langendörfer, Hartmut König
MHCI
2009
Springer
14 years 3 months ago
Automatic mobile menu customization based on user operation history
Mobile devices are becoming more and more difficult to use due to the sheer number of functions now supported. In this paper, we propose a menu customization system that ranks fun...
Yusuke Fukazawa, Mirai Hara, Masashi Onogi, Hideto...