3515 search results - page 673 / 703 » On the semantics of Strategy Logic |
181
click to vote
DASFAA
2003
IEEE
16 years 4 days ago
2003
IEEE
To integrate many data sources we use a peer mediator framework where views defined in the peers are logically composed in terms of each other. A common approach to execute queri...
163
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
211
Voted
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
196
click to vote
ILP
2003
Springer
16 years 2 days ago
2003
Springer
In many data mining tools that support regression tasks, training data are stored in a single table containing both the target field (dependent variable) and the attributes (indepe...
200
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper presents a Design Space Exploration (DSE) experiment which has been carried out in order to determine the optimum FPGA–based Variable-Length Decoder (VLD) computing re...