2940 search results - page 78 / 588 » Relational Parametricity and Control |
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
103
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...
122
click to vote
ADBIS
2007
Springer
15 years 6 months ago
2007
Springer
In solving the classification problem in relational data mining, traditional methods, for example, the C4.5 and its variants, usually require data transformations from datasets sto...
127
click to vote
RE
2004
Springer
15 years 5 months ago
2004
Springer
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
101
click to vote
BTW
2003
Springer
15 years 5 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...