3381 search results - page 573 / 677 » Extending Dependencies with Conditions |
166
click to vote
BTW
2005
Springer
16 years 13 days ago
2005
Springer
: Optimizers in modern DBMSs utilize a cost model to choose an efficient query execution plan (QEP) among all possible ones for a given query. The accuracy of the cost estimates de...
184
click to vote
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
223
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Starting from existing spreadsheet software, like Lotus 1-23R , ExcelR , or Spreadsheet 2000R , we propose a sequence of enhancements to fully integrate constraint-based ...
185
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Successful knowledge management may depend not only on knowledge capture, but on knowledge construction—on formulating new and useful knowledge that was not previously available...
190
click to vote
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...