335 search results - page 39 / 67 » A Composite Stabilizing Data Structure |
146
click to vote
CCGRID
2009
IEEE
15 years 6 months ago
2009
IEEE
From personal software to advanced systems, caching mechanisms have steadfastly been a ubiquitous means for reducing workloads. It is no surprise, then, that under the grid and clu...
131
click to vote
ACL
2012
13 years 4 months ago
2012
We present a holistic data-driven approach to image description generation, exploiting the vast amount of (noisy) parallel image data and associated natural language descriptions ...
120
Voted
CAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
113
Voted
MPC
1995
Springer
15 years 5 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
124
click to vote
SSD
2001
Springer
15 years 6 months ago
2001
Springer
Intervals represent a fundamental data type for temporal, scientific, and spatial databases where time stamps and point data are extended to time spans and range data, respectively...