Sciweavers

1072 search results - page 181 / 215
» Two approaches to the integration of heterogeneous data ware...
Sort
View
SIGMOD
2001
ACM
124views Database» more  SIGMOD 2001»
14 years 7 months ago
Query Optimization In Compressed Database Systems
Over the last decades, improvements in CPU speed have outpaced improvements in main memory and disk access rates by orders of magnitude, enabling the use of data compression techn...
Zhiyuan Chen, Johannes Gehrke, Flip Korn
SIGSOFT
2008
ACM
14 years 8 months ago
Automated identification of parameter mismatches in web applications
Quality assurance techniques for web applications have become increasingly important as web applications have gained in popularity and become an essential part of our daily lives....
William G. J. Halfond, Alessandro Orso
COMPLIFE
2005
Springer
14 years 1 months ago
Protein Annotation by Secondary Structure Based Alignments (PASSTA)
Abstract. Most software tools in homology recognition on proteins answer only a few specific questions, often leaving not much room for the interpretation of the results. We devel...
Constantin Bannert, Jens Stoye
DSVIS
2005
Springer
14 years 1 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
ICRA
2009
IEEE
145views Robotics» more  ICRA 2009»
14 years 2 months ago
A two-steps next-best-view algorithm for autonomous 3D object modeling by a humanoid robot
— A novel approach is presented which aims at building autonomously visual models of unknown objects, using a humanoid robot. Although good methods have been proposed for the spe...
Torea Foissotte, Olivier Stasse, Adrien Escande, P...