3719 search results - page 561 / 744 » order 2010 |
185
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
178
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
202
click to vote
MICAI
2010
Springer
15 years 4 months ago
2010
Springer
Traditionally, External Plagiarism Detection has been carried out by determining and measuring the similar sections between a given pair of documents, known as source and suspiciou...
212
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce a value-based noise reduction method for DualEnergy CT applications. It is based on joint intensity statistics estimated from high- and low-energy CT scans o...
200
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...