3515 search results - page 591 / 703 » On the semantics of Strategy Logic |
177
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We present an empirical analysis of crossing-based dialog boxes. First, we study the spatial constraints required for efficient crossing-based interactions in the case of a simple...
186
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
While lots of research in ontology matching is related to the issue of computing and refining similarity measures, only little attention has been paid to question how to extract t...
196
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...
228
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
165
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
In some cases, minimum Sum-Of-Products (SOP) expressions of Boolean functions can be derived by detecting decomposition and observing the functional properties such as unateness, ...