1699 search results - page 138 / 340 » On the Expressive Power of QLTL |
259
click to vote
TOG
2012
13 years 9 months ago
2012
Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequenc...
196
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Video streams are ubiquitous in applications such as surveillance, games, and live broadcast. Processing and analyzing these data is challenging because algorithms have to be effic...
300
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we present the ArchIS system that achieves full-functionality transaction-time databases without requiring temporal extensions in XML or database standards. ArchIS&...
269
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
168
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
Resource based optimization for high performance integrated circuits is presented. The methodology is applied to simultaneous shield and repeater insertion, resulting in minimum c...