2273 search results - page 288 / 455 » On the Expressiveness and Complexity of ATL |
273
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
Difference, intersection, semi-join and anti-semi-join may be considered binary subset operators, in that they all return a subset of their left-hand argument. These operators are...
249
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...
163
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
Our ability to generate ever-larger, increasingly-complex data, has established the need for scalable methods that identify, and provide insight into, important variable trends and...
205
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
concept form search query vision confirm consensus refine search query graphics VIE-designer image objects image objects Visual Sign (VIE) run search query words images Iconizer:...
128
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
For a number of years, dataflow concepts have provided designers of digital signal processing systems with environments capable of expressing high-level software architectures as ...