2646 search results - page 525 / 530 » Local Type Inference |
136
Voted
PVLDB
2010
15 years 28 days ago
2010
One of the main reasons why cloud computing has gained so much popularity is due to its ease of use and its ability to scale computing resources on demand. As a result, users can ...
131
Voted
SIAMJO
2010
15 years 27 days ago
2010
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...
123
click to vote
TMI
2010
15 years 27 days ago
2010
—A new feature based nonrigid image registration method for magnetic resonance (MR) brain images is presented in this paper. Each image voxel is represented by a rotation invaria...
134
Voted
ICTAC
2010
Springer
15 years 14 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
175
Voted
ICDE
2009
IEEE
15 years 8 days ago
2009
IEEE
There is much effort to develop comprehensive support for the storage and querying of XML data in database management systems. The major developers have extended their systems to h...