3481 search results - page 540 / 697 » Exploration in Relational Worlds |
CP
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...
EUROPAR
2000
Springer
14 years 28 days ago
2000
Springer
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...
IEAAIE
2000
Springer
14 years 27 days ago
2000
Springer
This paper describes a computer component manufacturing scenario which concentrates on the application of data mining techniques to improve information management and process impr...
IMS
2000
14 years 27 days ago
2000
Many architectural ideas that appear to be useful from a hardware standpoint fail to achieve wide acceptance due to lack of compiler support. In this paper we explore the design of...
OODBS
2000
14 years 27 days ago
2000
Visual object database browsers are essentially based on two kinds of interactions: navigation within a collection of objects, and navigation between objects via their relationshi...