Sciweavers

2662 search results - page 262 / 533
» Objects-early tools: a demonstration
Sort
View
GECCO
2004
Springer
16 years 1 days ago
Towards a Generally Applicable Self-Adapting Hybridization of Evolutionary Algorithms
When applied to real-world problems, the powerful optimization tool of Evolutionary Algorithms frequently turns out to be too time-consuming due to elaborate fitness calculations t...
Wilfried Jakob, Christian Blume, Georg Bretthauer
156
Voted
HYBRID
2004
Springer
16 years 1 days ago
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
Amit Bhatia, Emilio Frazzoli
VLDB
2004
ACM
169views Database» more  VLDB 2004»
16 years 1 hour ago
Database Tuning Advisor for Microsoft SQL Server 2005
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
Sanjay Agrawal, Surajit Chaudhuri, Lubor Koll&aacu...
IPPS
2003
IEEE
15 years 12 months ago
Wrapping Legacy Codes for Grid-Based Applications
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
Yan Huang, Ian Taylor, David W. Walker, Robert Dav...
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 12 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang