4270 search results - page 695 / 854 » A Permutation Approach to Validation |
184
click to vote
JSC
2010
15 years 4 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
159
click to vote
JUCS
2010
15 years 4 months ago
2010
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
196
click to vote
KAIS
2010
15 years 4 months ago
2010
Web advertising (Online advertising), a form of advertising that uses the World Wide Web to attract customers, has become one of the world’s most important marketing channels. Th...
208
click to vote
LREC
2010
15 years 4 months ago
2010
Availability of labeled language resources, such as annotated corpora and domain dependent labeled language resources is crucial for experiments in the field of Natural Language ...
157
click to vote
MICCAI
2010
Springer
2010
Springer
4D Computed Tomography Reconstruction from Few-Projection Data via Temporal Non-local Regularization
15 years 4 months ago
Abstract. 4D computed tomography (4D-CT) is an important modality in medical imaging due to its ability to resolve patient anatomy motion in each respiratory phase. Conventionally ...