3415 search results - page 7 / 683 » Physical Design Refinement: The |
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
There has been considerable work on automated physical design tuning for database systems. Existing solutions require offline invocations of the tuning tool and depend on DBAs ide...
OWLED
2008
13 years 9 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
SG
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Virtual environments (VEs) can be used to study issues related to human navigation, such as spatial knowledge acquisition. In our prior work, we introduced a new locomoti...
FLAIRS
2006
13 years 9 months ago
2006
This paper describes the design and execution of a roboticsthemed AI elective at a small liberal arts institution. An important goal of the course is to spark and nurture students...
FLAIRS
2008
13 years 10 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...