2713 search results - page 512 / 543 » Parameterized Tree Systems |
153
click to vote
CC
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
170
click to vote
MMS
2000
15 years 5 months ago
2000
A large-scale, distributed video-on-demand (VOD) system allows geographically dispersed residential and business users to access video services, such as movies and other multimedia...
171
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
207
click to vote
CVPR
2009
IEEE
17 years 23 days ago
2009
IEEE
Scalable image retrieval systems usually involve hierarchical quantization of local image descriptors, which produces a visual vocabulary for inverted indexing of images. Although ...
280
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
As the use of Electronic Medical Records (EMRs) becomes more widespread, so does the need for effective information discovery on them. Recently proposed EMR standards are XML-based...